Theorem Function.Embedding.is_empty_of_card_lt

Modification history