Sigma-algebra expansion through sigma-algebra extension preserves conditionalization; the claim conf...
This proposition has not been edited since the history system was added.