Theorem MeasureTheory.Measure.haar.chaar_self

Modification history