Theorem Set.prod_self_eq_iUnion_perm

Modification history