Proofgold Term Root Disambiguation

λ x0 x1 x2 . λ x3 x4 : ι → ι → ι . λ x5 : ι → ι → ο . λ x6 x7 . and (x5 x6 x7) (x6 = x7 ⟶ ∀ x8 : ο . x8)

as obj
79757..

as prop
-

theory
HoTg

stx
04fcb..

address
TMGFy..^lt