Proofgold Proposition

∀ x0 . setminus x0 x0 = 0

type
prop

theory
HotG

name
setminus_selfannih

proof
PUL8Q..

Megalodon
setminus_selfannih

proofgold address
TMd6Y..^{setminus_selfannih}

creator
4882 Pr6Pc../d2d9e..

owner
4882 Pr6Pc../d2d9e..

term root
d3b19..