Theorem Fintype.expect_one

Modification history