Theorem MulAction.mem_stabilizer_of_finite_iff_smul_le

Modification history

2024-05-28 17:51
Mathlib/GroupTheory/GroupAction/Basic.lean
Feat (GroupTheory/GroupAction/Blocks) : blocks for a mul action (#12049) …
Added MulAction.mem_stabilizer_of_finite_iff_smul_leView on Github →