Theorem MeasureTheory.Measure.add_haar_affineSubspace

Modification history