Theorem Finset.expect_bij'

Modification history