Proofgold Term Root Disambiguation

∀ x0 x1 . even_nat x0 ⟶ even_nat x1 ⟶ SNoLe x0 x1 ⟶ even_nat (add_SNo x1 (minus_SNo x0))

as obj
-

as prop
48090..

theory
HotG

stx
6cb05..

address
TMKDT..