Theorem Finset.univ_infs_univ

Modification history