Theorem MeasureTheory.hausdorffMeasure_homothety_preimage

Modification history