Proofgold Term Root Disambiguation

∀ x0 . even_nat x0 ⟶ divides_nat 2 x0

as obj
-

as prop
b2900..

theory
HotG

stx
c98c9..

address
TMWYn..