Proofgold Term Root Disambiguation

∀ x0 . nat_p x0 ⟶ x0 ∈ mul_nat 2 (ordsucc x0)

as obj
-

as prop
b2df3..

theory
HotG

stx
80e8e..

address
TMZcF..