Proofgold Term Root Disambiguation

λ x0 x1 . a4c2a.. x0 (λ x2 . ∀ x3 : ο . (∀ x4 . x2 = aae7a.. x1 x4 ⟶ x3) ⟶ x3) 22ca9..

as obj
f482f..

as prop
-

theory
HoTg

stx
e27bb..

address
TMdEk..