Theorem Finset.inf_top

Modification history