Theorem Finset.expect_bij

Modification history