Theorem MeasureTheory.IsFundamentalDomain.quotientMeasureEqMeasurePreimage_quotientMeasure

Modification history