Proofgold Term Root Disambiguation

λ x0 . nat_primrec x0 (λ x1 . 4ae4a..)

as obj
616bf..

as prop
-

theory
HoTg

stx
ee211..

address
TMPSC..