Theorem Finset.expect_empty

Modification history