Theorem Finset.product_self_eq_disjUnion_perm

Modification history