Theorem Fintype.expect_ite_mem

Modification history