Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-02-13 04:00
cfea3dca
View on Github →
chore(Lebesgue/EqHaar):
Fintype
->
Finite
(
#10461
)
Estimated changes
Modified
Mathlib/MeasureTheory/Measure/Lebesgue/EqHaar.lean
modified
def
TopologicalSpace.PositiveCompacts.piIcc01