Proofgold Proposition

∀ x0 x1 . setminus x0 x1 ⊆ x0

type
prop

theory
HotG

name
setminus_Subq

proof
PUL8Q..

Megalodon
setminus_Subq

proofgold address
TMXKB..^{setminus_Subq}

creator
4882 Pr6Pc../f0514..

owner
4882 Pr6Pc../f0514..

term root
5a497..