Theorem MulAction.stabilizer_top

Modification history

2026-09-26 10:13
Mathlib/GroupTheory/GroupAction/Basic.lean
feat(RingTheory/Ideal): the `⊥` and `⊤` cases of the pointwise action on ideals (#44070) …
Added MulAction.stabilizer_topView on Github →