Proofgold Term Root Disambiguation

λ x0 . Sep (SNoL x0) (SNoLt 0)

as obj
65d5a..^SNoL_pos

as prop
-

theory
HotG

stx
87341..

address
TMSe4..^SNoL_pos