Theorem Finset.inf_inv

Modification history