Theorem Finite.card_le_of_injective'

Modification history