Proofgold Term Root Disambiguation

∀ x0 . HSNo x0 ⟶ conj_OSNo x0 = conj_HSNo x0

as obj
-

as prop
071fe..^{conj_OSNo_conj_HSNo}

theory
HotG

stx
5c6b2..

address
TMUJJ..^{conj_OSNo_conj_HSNo}