Theorem Finset.all_card_le_bunionᵢ_card_iff_existsInjective'

Modification history