Proofgold Proposition

∀ x0 x1 x2 . x1 ⊆ x2 ⟶ setminus x0 x2 ⊆ setminus x0 x1

type
prop

theory
HotG

name
setminus_antimonotone

proof
PUhjz..

Megalodon
setminus_antimonotone

proofgold address
TMYUD..^{setminus_antimonotone}

creator
4897 Pr6Pc../cc5b6..

owner
4897 Pr6Pc../cc5b6..

term root
67bd0..