Theorem Finset.expect_nbij

Modification history