Theorem FixedPoints.mem_addSubmonoid

Modification history

2024-10-29 10:42

Mathlib/GroupTheory/GroupAction/Basic.lean

chore(GroupTheory/GroupAction): split off `Defs` file (#18345) …

Modified FixedPoints.mem_addSubmonoid View on Github →

2024-02-01 11:35

Mathlib/GroupTheory/GroupAction/Basic.lean

feat(GroupTheory/GroupAction/Basic): define subgroups fixed by group actions (#10043)

Added FixedPoints.mem_addSubmonoid View on Github →