Proofgold Term Root Disambiguation

∀ x0 . SNo x0 ⟶ ∀ x1 . x1 ∈ SNoS_ (SNoLev x0) ⟶ x1 = x0 ⟶ ∀ x2 : ο . x2

as obj
-

as prop
d5dbd..^SNoS_In_neq

theory
HotG

stx
fab7c..

address
TMFyX..^SNoS_In_neq