Proofgold Proposition

∀ x0 x1 x2 . x2 ∈ setminus x0 x1 ⟶ and (x2 ∈ x0) (nIn x2 x1)

type
prop

theory
HotG

name
setminusE

proof
PUL8Q..

Megalodon
setminusE

proofgold address
TMdog..^setminusE

creator
4882 Pr6Pc../57836..

owner
4882 Pr6Pc../57836..

term root
6774f..