Theorem FixedPoints.mem_subgroup

Modification history