Theorem Finset.expect_inv_index

Modification history