Theorem Finset.expect_apply

Modification history