Theorem MulAction.stabilizer_le_aestabilizer

Modification history

2024-07-18 01:57
Mathlib/MeasureTheory/Group/AEStabilizer.lean
feat(AEStabilizer): new file (#14822)
Added MulAction.stabilizer_le_aestabilizerView on Github →