Theorem Finset.inf_closed_of_inf_closed

Modification history