Theorem ProbabilityTheory.IndepSet.measure_inter_eq_mul

Modification history