Theorem fixingSubgroup_antitone

Modification history