Proofgold Term Root Disambiguation

∀ x0 . SNo x0 ⟶ or (x0 = 0) (SNoLt 0 (exp_SNo_nat x0 2))

as obj
-

as prop
b5818..^{SNo_zero_or_sqr_pos}

theory
HotG

stx
47bc9..

address
TMRyc..^{SNo_zero_or_sqr_pos}