Theorem Fintype.expect_const

Modification history