Theorem Finset.inf'_cons

Modification history