Theorem Computability.Encoding.card_le_aleph0

Modification history