Theorem Finset.inf_erase_top

Modification history