Proofgold Term Root Disambiguation

∀ x0 . SNo_ 0 x0 ⟶ x0 = 0

as obj
-

as prop
7bd75..^SNo_0_eq_0

theory
HotG

stx
f61d0..

address
TMcYq..^SNo_0_eq_0