Proofgold Term Root Disambiguation

λ x0 . lam omega (λ x1 . ap x0 (ordsucc x1))

as obj
6163b..

as prop
-

theory
HotG

stx
711a4..

address
TMXmg..