Theorem Computable₂.mk

Modification history

2024-02-26 01:48
Mathlib/Computability/Partrec.lean
chore: cleanup proof of `Nat.Partrec.Code.rec_prim` (#10978) …
Added Computable₂.mkView on Github →