Proofgold Term Root Disambiguation

∀ x0 . nat_p x0 ⟶ not (even_nat (ordsucc (mul_nat 2 x0)))

as obj
-

as prop
8946c..

theory
HotG

stx
80e8e..

address
TMXt6..