Theorem MulAction.aestabilizer_of_aeconst

Modification history

2026-09-03 20:16
Mathlib/MeasureTheory/Group/AEStabilizer.lean
refactor: definition for `EventuallyConst` on `Set` (#43114) …
Deleted MulAction.aestabilizer_of_aeconstView on Github →
2024-07-18 01:57
Mathlib/MeasureTheory/Group/AEStabilizer.lean
feat(AEStabilizer): new file (#14822)
Added MulAction.aestabilizer_of_aeconstView on Github →