Proofgold Term Root Disambiguation

λ x0 x1 . 0ac37.. (94f9e.. x0 f6917..) (94f9e.. x1 09364..)

as obj
aae7a..

as prop
-

theory
HoTg

stx
3d651..

address
TMLhN..