Theorem fixedPoints_subgroup_sup

Modification history