Proofgold Term Root Disambiguation

∀ x0 x1 x2 x3 . x3 ∈ omega ⟶ ap x1 x3 = x2 ⟶ ap (4ec03.. x0 x1) (ordsucc x3) = x2

as obj
-

as prop
cc413..

theory
HotG

stx
711a4..

address
TMUY3..