Theorem FixedPoints.subgroup_toSubmonoid

Modification history