Proofgold Term Root Disambiguation

∀ x0 x1 . ∀ x2 : ι → ι → ο . x0 ⊆ x1 ⟶ 4402e.. x1 x2 ⟶ 4402e.. x0 x2

as obj
-

as prop
a55d1..

theory
HotG

stx
6aab1..

address
TMctU..