Proofgold Term Root Disambiguation

∀ x0 x1 . ∀ x2 : ι → ι → ο . x0 ⊆ x1 ⟶ cf2df.. x1 x2 ⟶ cf2df.. x0 x2

as obj
-

as prop
e7c7c..

theory
HotG

stx
6aab1..

address
TMJbE..