Proofgold Proposition

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

type
prop

theory
HotG

name
setminus_Subq_contra

proof
PUL8Q..

Megalodon
setminus_Subq_contra

proofgold address
TMYGQ..^{setminus_Subq_contra}

creator
4882 Pr6Pc../e69b8..

owner
4882 Pr6Pc../e69b8..

term root
b1f44..