Theorem MulAction.stabilizer_inf_stabilizer_le_stabilizer_apply₂

Modification history

2024-11-28 20:56
Mathlib/Algebra/Pointwise/Stabilizer.lean
feat: `stab s ⊓ stab t ≤ stab (s ∩ t)` (#19477) …
Added MulAction.stabilizer_inf_stabilizer_le_stabilizer_apply₂View on Github →