Proofgold Term Root Disambiguation

∀ x0 : ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι → ι . 84660.. x0 ⟶ Church17_to_u17 x0 ∈ u4

as obj
-

as prop
68886..

theory
HotG

stx
45402..

address
TMYNr..