Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ SNoS_ omega ⟶ minus_SNo x0 ∈ SNoS_ omega

as obj
-

as prop
0c19f..^{minus_SNo_SNoS_omega}

theory
HotG

stx
705e2..

address
TMHUV..^{minus_SNo_SNoS_omega}