Theorem Partrec.fix

Modification history

2024-07-20 07:03

Mathlib/Computability/Partrec.lean

chore(*): use ⊕ notation for `Sum` (#14934)

Modified Partrec.fix View on Github →

2023-05-08 03:07

Mathlib/Computability/Partrec.lean

feat: port Computability.Partrec (#3830)

Added Partrec.fix View on Github →