Proofgold Term Root Disambiguation

λ x0 . prim0 (λ x1 . and (SNo x1) (x0 = f4b0e.. (6b27d.. x0) (e5fe3.. x0) (e47cc.. x0) x1))

as obj
7cd66..

as prop
-

theory
HotG

stx
a97e6..

address
TMSu7..