Proofgold Proposition

∀ x0 x1 x2 x3 . 0 ∈ x3 ⟶ x2 ⊆ x3 ⟶ x0 ⊆ x1 ⟶ setexp x2 x0 ⊆ setexp x3 x1

type
prop

theory
HotG

name
setexp_0_mon

proof
PUgbQ..

Megalodon
setexp_0_mon

proofgold address
TMG4a..^setexp_0_mon

creator
4904 Pr6Pc../29a87..

owner
4904 Pr6Pc../29a87..

term root
9626c..