Proofgold Term Root Disambiguation

∀ x0 x1 : ((ι → ι → ι → ι → ι → ι → ι) → (ι → ι → ι → ι → ι → ι → ι) → ι → ι → ι → ι → ι → ι → ι) → ι → ι → ι → ι → ι → ι → ι . 884c6.. x0 ⟶ 884c6.. x1 ⟶ 8915b.. x0 = 8915b.. x1 ⟶ x0 = x1

as obj
-

as prop
7a51b..

theory
HotG

stx
ddf6a..

address
TMWi6..