Def TopologicalSpace.PositiveCompacts.piIcc01
Modification history
2024-02-13 04:00
Mathlib/MeasureTheory/Measure/Lebesgue/EqHaar.lean
chore(Lebesgue/EqHaar): `Fintype` -> `Finite` (#10461)
Modified TopologicalSpace.PositiveCompacts.piIcc01View on Github →