Theorem Finset.expect_neg_index

Modification history