Proofgold Term Root Disambiguation

∀ x0 . x0 ∈ omega ⟶ minus_SNo x0 ∈ int

as obj
-

as prop
3a259..^{int_minus_SNo_omega}

theory
HotG

stx
7d348..

address
TMJkS..^{int_minus_SNo_omega}