Theorem Equiv.Perm.closure_isCycle

Modification history