mathlib
959c3b69 - doc(computability/primrec): remove doc nolints (#16018)

Commit

2 years ago

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

Author

vihdzp

Parents