Proofgold Term Root Disambiguation

∀ x0 . even_nat x0 ⟶ not (odd_nat x0)

as obj
-

as prop
d438a..^{even_nat_not_odd_nat}

theory
HotG

stx
80e8e..

address
TMYkc..^{even_nat_not_odd_nat}