Proofgold Term Root Disambiguation

∀ x0 . HSNo x0 ⟶ CSNo (HSNo_proj0 x0)

as obj
-

as prop
d5b6b..^HSNo_proj0R

theory
HotG

stx
43801..

address
TMG9o..^HSNo_proj0R