Proofgold Term Root Disambiguation

λ x0 x1 . lam omega (nat_primrec x0 (λ x2 x3 . ap x1 x2))

as obj
4ec03..

as prop
-

theory
HotG

stx
711a4..

address
TMWhr..