Theorem Finset.expect_nbij'

Modification history