Proofgold Term Root Disambiguation

∀ x0 . SNo x0 ⟶ CSNo_Im x0 = 0

as obj
-

as prop
045ef..^SNo_Im

theory
HotG

stx
7edd8..

address
TMZ4x..^SNo_Im