Def SubMulAction.fixingSubgroup_union_to_fixingSubgroup_of_fixingSubgroup

Modification history

2025-06-27 03:35
Mathlib/GroupTheory/GroupAction/SubMulAction/OfFixingSubgroup.lean
feat: Multiple Primitivity of group actions (#26279) …
Added SubMulAction.fixingSubgroup_union_to_fixingSubgroup_of_fixingSubgroupView on Github →