Theorem Computability.decode_encodeNum

Modification history

2025-01-21 04:10

Mathlib/Computability/Encoding.lean

chore: address some porting notes in Mathlib/Computability (#20822)

Modified Computability.decode_encodeNum View on Github →

2023-04-12 19:26

Mathlib/Computability/Encoding.lean

feat: port Computability.Encoding (#2799)

Added Computability.decode_encodeNum View on Github →