Proofgold Term Root Disambiguation

λ x0 . {x1 ∈ SNoS_ omega|SNoLt x1 x0}

as obj
2e3a6..^SNoL_omega

as prop
-

theory
HotG

stx
705e2..

address
TMS5S..^SNoL_omega