Theorem ComputablePred.ite

Modification history

2026-04-21 05:56
Mathlib/Computability/Halting.lean
refactor(Computability): split Halting.lean into separate files (#38138) …
Modified ComputablePred.iteView on Github →
2024-09-23 21:06
Mathlib/Computability/Halting.lean
feat: The computable functions are closed under if-then-else definitions with computable predicates (#17039) …
Added ComputablePred.iteView on Github →