Proofgold Term Root Disambiguation

pair_tag (Sing 3)

as obj
bd2d9..^CSNo_pair

as prop
-

theory
HotG

stx
43801..

address
TMbzk..^CSNo_pair