Theorem FixedPoints.addSubgroup_toAddSubmonoid

Modification history