Proofgold Term Root Disambiguation

∀ x0 x1 : ι → (ι → ο) → ο . ed32f.. x0 x1 ⟶ ed32f.. (8356a.. x0) (610d8.. x1)

as obj
-

as prop
0779e..

theory
HoTg

stx
7f654..

address
TMWt6..