Proofgold Term Root Disambiguation

∀ x0 . CSNo x0 ⟶ exp_CSNo_nat (sqrt_CSNo x0) 2 = x0

as obj
-

as prop
02523..^{sqrt_CSNo_sqrt}

theory
HotG

stx
2ea7a..

address
TMKVi..^{sqrt_CSNo_sqrt}