Mathlib v3 is deprecated. Go to Mathlib v4

Def nat.partrec'.vec

Modification history

2018-05-30 15:29

data/computability/halting.lean

feat(data/computablility): reduced partrec

Added nat.partrec'.vec View on Github →