Theorem FixedPoints.mem_submonoid

Modification history