Theorem Function.Embedding.exists_of_card_le_finset

Modification history