Proofgold Term Root Disambiguation

∀ x0 . HSNo x0 ⟶ x0 = CSNo_pair (HSNo_proj0 x0) (HSNo_proj1 x0)

as obj
-

as prop
cd06d..^HSNo_proj0p1

theory
HotG

stx
43801..

address
TMH4j..^HSNo_proj0p1