Proofgold Term Root Disambiguation

∀ x0 . OSNo x0 ⟶ HSNo (OSNo_proj0 x0)

as obj
-

as prop
bb9e4..^OSNo_proj0R

theory
HotG

stx
5c6b2..

address
TMUcG..^OSNo_proj0R