Theorem Equiv.Perm.eq_on_support_mem_disjoint

Modification history