Proofgold Term Root Disambiguation

λ x0 . prim0 (λ x1 . and (SNo x1) (x0 = SNo_pair (CSNo_Re x0) x1))

as obj
995ec..^CSNo_Im

as prop
-

theory
HotG

stx
2fb59..

address
TMZBT..^CSNo_Im