Theorem Equiv.Perm.disjoint_closure_of_disjoint_support

Modification history