Theorem Finset.sup_closed_of_sup_closed

Modification history