Proofgold Term Root Disambiguation

λ x0 . ∃ x1 . and (SNo x1) (∃ x3 . and (SNo x3) (x0 = SNo_pair x1 x3))

as obj
9f644..^CSNo

as prop
-

theory
HotG

stx
2fb59..

address
TMUD5..^CSNo