Proofgold Term Root Disambiguation

∀ x0 . SNoLev x0 ∈ 1 ⟶ 0 = x0 ⟶ x0 ∈ 1

as obj
-

as prop
a558a..^{Conj_SNoL_1__1__0}

theory
HotG

stx
b740c..

address
TMWYH..^{Conj_SNoL_1__1__0}