Theorem Finset.exists_card_fiber_lt_of_card_lt_nsmul

Modification history