Proofgold Term Root Disambiguation

λ x0 . nat_primrec 4a7ef.. (λ x1 . 616bf.. x0)

as obj
14149..

as prop
-

theory
HoTg

stx
ee211..

address
TMMQz..