Theorem Finset.expect_pos

Modification history