Def PrimrecPred

Modification history

2025-08-22 16:06

Mathlib/Computability/Primrec.lean

refactor: don't require `DecidablePred` to state `PrimrecPred` (#27076) …

Modified PrimrecPred View on Github →

2023-03-25 13:19

Mathlib/Computability/Primrec.lean

feat: port/Computability.Primrec (#2360)

Added PrimrecPred View on Github →