Proofgold Term Root Disambiguation

λ x0 . x0 = lam omega (ap x0)

as obj
84af2..

as prop
-

theory
HotG

stx
711a4..

address
TMV68..