Theorem Equiv.Perm.Disjoint.mul_apply_eq_iff

Modification history