Proofgold Term Root Disambiguation

∀ x0 . CSNo x0 ⟶ abs_sqr_CSNo x0 = 0 ⟶ x0 = 0

as obj
-

as prop
d8e80..^{abs_sqr_CSNo_zero}

theory
HotG

stx
2ea7a..

address
TMPbR..^{abs_sqr_CSNo_zero}