Theorem ProbabilityTheory.truncation_eq_self

Modification history