Theorem Nat.Partrec.Code.eval_id

Modification history

2024-12-20 06:52
Mathlib/Computability/PartrecCode.lean
chore: further backports for leanprover/lean4#6397 (#20098)
Modified Nat.Partrec.Code.eval_idView on Github →
2023-05-10 11:05
Mathlib/Computability/PartrecCode.lean
feat: port Computability.PartrecCode (#3833) …
Added Nat.Partrec.Code.eval_idView on Github →