Proofgold Term Root Disambiguation

∀ x0 . HSNo x0 ⟶ CSNo (HSNo_proj1 x0)

as obj
-

as prop
4c5b7..^HSNo_proj1R

theory
HotG

stx
43801..

address
TMEjy..^HSNo_proj1R