Theorem Equiv.Perm.ofSubtype_swap_eq

Modification history