Theorem FixedPoints.mem_addSubgroup

Modification history