Theorem Finset.expect_comm

Modification history