Theorem Finset.expect_singleton

Modification history