Theorem Finset.univ_mul_univ

Modification history