Mathlib Changelog
v4
Changelog
About
Github
Theorem
MeasureTheory.IsFundamentalDomain.measure_ne_zero
Modification history
2024-07-20 19:54
Mathlib/MeasureTheory/Group/FundamentalDomain.lean
feat(MeasureTheory/../Action): drop measurability assumptions (#14933) …
Modified
MeasureTheory.IsFundamentalDomain.measure_ne_zero
View on Github →
2023-11-09 17:46
Mathlib/MeasureTheory/Group/FundamentalDomain.lean
feat: Prove that a fundamental domain has nonzero volume (#8287)
Added
MeasureTheory.IsFundamentalDomain.measure_ne_zero
View on Github →