Theorem MeasurableSet.induction_on_open

Modification history