Theorem Finset.expect_univ

Modification history