Proofgold Term Root Disambiguation

∀ x0 . OSNo x0 ⟶ HSNo (OSNo_proj1 x0)

as obj
-

as prop
7e4da..^OSNo_proj1R

theory
HotG

stx
5c6b2..

address
TMdWd..^OSNo_proj1R