Theorem Computability.Encoding.card_le_aleph0
Modification history
2024-03-12 07:55
Mathlib/Computability/Encoding.lean
chore(Computability): `Encodable`/`Fintype` -> `Countable`/`Finite` (#10869) …
Modified Computability.Encoding.card_le_aleph0View on Github →