Theorem Finset.sup'_inv

Modification history