Theorem REPred.of_eq

Modification history

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