Proofgold Term Root Disambiguation

λ x0 . prim0 (λ x1 . and (SNo x1) (∃ x2 . and (SNo x2) (x0 = SNo_pair x1 x2)))

as obj
78e2f..^CSNo_Re

as prop
-

theory
HotG

stx
2fb59..

address
TMbtV..^CSNo_Re