Proofgold Term Root Disambiguation

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

as obj
-

as prop
a28e8..

theory
HotG

stx
6cb05..

address
TMZ5b..