Theorem MulAction.mem_stabilizer_of_finite_iff_le_smul

Modification history

2024-11-28 20:56
Mathlib/GroupTheory/GroupAction/Basic.lean
feat: `stab s ⊓ stab t ≤ stab (s ∩ t)` (#19477) …
Deleted MulAction.mem_stabilizer_of_finite_iff_le_smulView on Github →
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_le_smulView on Github →