Theorem Finset.inv_subset_inv

Modification history