Theorem Fintype.expect_ite_eq

Modification history