Proofgold Proposition

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

type
prop

theory
HotG

name
setexp_0_dom_mon

proof
PUgbQ..

Megalodon
setexp_0_dom_mon

proofgold address
TMdJC..^{setexp_0_dom_mon}

creator
4904 Pr6Pc../4fb7e..

owner
4904 Pr6Pc../4fb7e..

term root
c82a7..