Theorem Finset.expect_equiv

Modification history