Proofgold Term Root Disambiguation

λ x0 x1 . a4c2a.. x0 (λ x2 . ∃ x3 . x2 = aae7a.. x1 x3) 22ca9..

as obj
f482f..

as prop
-

theory
HoTg

stx
e27bb..

address
TMdEk..