Theorem Finset.inf'_sup_inf'

Modification history