Theorem Finset.mem_inv

Modification history