Theorem Equiv.Perm.mclosure_swap_castSucc_succ

Modification history