Theorem Finset.sup_def

Modification history