Proofgold Term Root Disambiguation

∀ x0 x1 . x0 ⊆ x1 ⟶ ∀ x2 . ∀ x3 : ι → ι → ο . cdfa5.. x0 x2 x3 ⟶ cdfa5.. x1 x2 x3

as obj
-

as prop
27215..

theory
HotG

stx
2925f..

address
TMEsj..