Theorem PrimrecPred.computablePred

Modification history

2026-04-21 05:56
Mathlib/Computability/Halting.lean
refactor(Computability): split Halting.lean into separate files (#38138) …
Modified PrimrecPred.computablePredView on Github →
2025-08-22 16:06
Mathlib/Computability/Halting.lean
refactor: don't require `DecidablePred` to state `PrimrecPred` (#27076) …
Added PrimrecPred.computablePredView on Github →