Theorem MulAction.stabilizer_bot

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_botView on Github →