Theorem MeasureTheory.ae_restrict_iff₀

Modification history

2024-01-02 05:36
Mathlib/MeasureTheory/Measure/Restrict.lean
chore(MeasureTheory): golf (#9374) …
Added MeasureTheory.ae_restrict_iff₀View on Github →