Theorem Computability.FinEncoding.card_le_aleph0

Modification history