Proofgold Term Root Disambiguation

∀ x0 x1 . ∀ x2 : ι → ι . x0 ⊆ x1 ⟶ (∀ x3 . x3 ∈ x1 ⟶ nIn x3 x0 ⟶ 0 ∈ x2 x3) ⟶ Pi x0 x2 ⊆ Pi x1 x2

as obj
-

as prop
8b265..^Pi_0_dom_mon

theory
HotG

stx
d9726..

address
TMbgK..^Pi_0_dom_mon