Proofgold Term Root Disambiguation

∀ x0 . SNo x0 ⟶ CSNo_Im x0 = 0

as obj
-

as prop
02199..^SNo_Im

theory
HotG

stx
5ed1a..

address
TMW22..^SNo_Im