Theorem Fintype.expect_ite_zero

Modification history