Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2023-01-23 10:09 959c3b69

View on Github →

doc(computability/primrec): remove doc nolints (#16018) We just add some documentation.

Estimated changes

modified def nat.primrec'.vec