Proofgold Term Root Disambiguation

nat_primrec 0 (λ x0 x1 . If_i (70c47.. x0) x1 (ordsucc x1))

as obj
5ad3b..

as prop
-

theory
HF

stx
bf44c..

address
TMK1L..