Proofgold Term Root Disambiguation

∀ x0 . add_nat x0 2 = ordsucc (ordsucc x0)

as obj
-

as prop
5af12..

theory
HF

stx
d6132..

address
TMQzm..