Proofgold Term Root Disambiguation

∀ x0 : (ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι) → ο . x0 Church10_0 ⟶ x0 Church10_1 ⟶ x0 Church10_2 ⟶ x0 Church10_3 ⟶ x0 Church10_4 ⟶ x0 Church10_5 ⟶ x0 Church10_6 ⟶ x0 Church10_7 ⟶ x0 Church10_8 ⟶ x0 Church10_9 ⟶ Church10_forall x0

as obj
-

as prop
a46af..

theory
HotG

stx
3be30..

address
TMEho..