Proofgold Term Root Disambiguation

∀ x0 x1 . x0 ⊆ x1 ⟶ ∀ x2 : ι → ι . lam x0 x2 ⊆ lam x1 x2

as obj
-

as prop
0c39e..^Sigma_mon0

theory
HotG

stx
08e38..

address
TMHvd..^Sigma_mon0