Theorem Fintype.expect_dite_eq

Modification history