Def Computability.finEncodingPair

Modification history

2026-06-30 17:51

Mathlib/Computability/Encoding.lean

refactor(Computability.Encoding): unbundle Γ and remove FinEncoding (#37928) …

Modified Computability.finEncodingPair View on Github →

2026-02-23 13:33

Mathlib/Computability/Encoding.lean

feat(Computability): add FinEncodings for List Bool and pairs of types (#32367) …

Added Computability.finEncodingPair View on Github →