Theorem Primrec₂.mk

Modification history

2026-01-12 09:38

Mathlib/Computability/Primrec.lean

chore(Computability/Primrec): split file (#33835) …

Modified Primrec₂.mk View on Github →

2024-02-26 01:48

Mathlib/Computability/Primrec.lean

chore: cleanup proof of `Nat.Partrec.Code.rec_prim` (#10978) …

Added Primrec₂.mk View on Github →