Theorem Finset.min'_lt_max'_of_card

Modification history