Mathlib Changelog
v4
Changelog
About
Github
Theorem
MulAction.stabilizer_subset_div_right
Modification history
2024-11-28 20:56
Mathlib/Algebra/Pointwise/Stabilizer.lean
feat: `stab s ⊓ stab t ≤ stab (s ∩ t)` (#19477) …
Added
MulAction.stabilizer_subset_div_right
View on Github →