Proofgold Term Root Disambiguation

∀ x0 . SNo x0 ⟶ SNoLt 1 x0 ⟶ SNoLt (add_SNo x0 1) (mul_SNo 2 x0)

as obj
-

as prop
73cdc..^{SNo_gt2_double_ltS}

theory
HotG

stx
f61d0..

address
TMW2V..^{SNo_gt2_double_ltS}