Theorem fixedPoints_subgroup_antitone

Modification history