Proofgold Term Root Disambiguation

∀ x0 . nat_p x0 ⟶ or (even_nat x0) (odd_nat x0)

as obj
-

as prop
d6cde..^{even_nat_or_odd_nat}

theory
HotG

stx
7fa67..

address
TMRrd..^{even_nat_or_odd_nat}