Theorem Fintype.expect_dite_eq'

Modification history