Proofgold Term Root Disambiguation

∀ x0 . CSNo x0 ⟶ exp_CSNo_nat x0 2 = mul_CSNo x0 x0

as obj
-

as prop
b58c2..^{exp_CSNo_nat_2}

theory
HotG

stx
5ed1a..

address
TMTZW..^{exp_CSNo_nat_2}