Def Computability.Encoding.Γ

Modification history

2026-06-30 17:51

Mathlib/Computability/Encoding.lean

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

Added Computability.Encoding.Γ View on Github →