Proofgold Term Root Disambiguation

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

as obj
1ec1d..^SNoL_nonneg

as prop
-

theory
HotG

stx
87341..

address
TMRA5..^SNoL_nonneg