Proofgold Term Root Disambiguation

λ x0 . Sep (SNoS_ omega) (SNoLt x0)

as obj
255a0..^SNoR_omega

as prop
-

theory
HotG

stx
705e2..

address
TMcZ1..^SNoR_omega