Proofgold Proposition

∀ x0 x1 . setminus x0 x1 ∈ prim4 x0

type
prop

theory
HotG

name
setminus_In_Power

proof
PUhjz..

Megalodon
setminus_In_Power

proofgold address
TMPhr..^{setminus_In_Power}

creator
4897 Pr6Pc../5bd32..

owner
4897 Pr6Pc../5bd32..

term root
06227..