Theorem Finset.inf'_inv

Modification history