Proofgold Proposition

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

type
prop

theory
HotG

name
extension_SNoElt_mon

proof
PUQvq..

Megalodon
extension_SNoElt_mon

proofgold address
TMYME..^{extension_SNoElt_mon}

creator
28444 PrQUS../d0b83..

owner
28444 PrQUS../d0b83..

term root
96f03..