Theorem Partrec.fix_aux

Modification history

2024-07-20 07:03
Mathlib/Computability/Partrec.lean
chore(*): use ⊕ notation for `Sum` (#14934)
Modified Partrec.fix_auxView on Github →
2023-05-08 03:07
Mathlib/Computability/Partrec.lean
feat: port Computability.Partrec (#3830)
Added Partrec.fix_auxView on Github →