Proofgold Term Root Disambiguation

∀ x0 x1 . x0 ⊆ x1 ⟶ ∀ x2 . ExtendedSNoElt_ x0 x2 ⟶ ExtendedSNoElt_ x1 x2

as obj
-

as prop
11c5b..^{extension_SNoElt_mon}

theory
HotG

stx
5ed1a..

address
TML9y..^{extension_SNoElt_mon}