Theorem Equiv.Perm.mem_support_cycle_of_cycle

Modification history