Theorem fixedPoints_subgroup_supᵢ

Modification history