Theorem Equiv.Perm.disjoint_one_left

Modification history