Proofgold Term Root Disambiguation

∀ x0 : ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι . Church17_p x0 ⟶ TwoRamseyGraph_3_6_Church17 x0 x0 = λ x2 x3 . x2

as obj
-

as prop
65c75..

theory
HotG

stx
e3581..

address
TMLwD..