Proofgold Term Root Disambiguation

λ x0 . a4c2a.. x0 (λ x1 . ∃ x2 . 09364.. x2 = x1) 158d3..

as obj
22ca9..

as prop
-

theory
HoTg

stx
3d651..

address
TMQa5..