Commit 2025-02-03 07:17 5968bbe1
View on Github →doc(docs/1000.yaml): remove incorrect description (#21248)
In my previous PR, I added incorrect description to Smn theorem.
Nat.Partrec'
is different from the definition of usual partial recursive functions, because it does't allow recursion on partial recursive functions.