Def REPred

Modification history

2025-02-06 21:04
Mathlib/Computability/Halting.lean
style(Mathlib/Computability/Halting): `RePred` to `REPred` (#21216) …
Added REPredView on Github →