Theorem Equiv.Perm.pairwise_disjoint_of_mem_zpowers

Modification history