Theorem fixingSubmonoid_antitone

Modification history

2023-01-27 14:47

Mathlib/GroupTheory/GroupAction/FixingSubgroup.lean

feat: Port/GroupTheory.GroupAction.FixingSubgroup (#1868) …

Added fixingSubmonoid_antitone View on Github →