Proofgold Proposition

∀ x0 . setminus 0 x0 = 0

type
prop

theory
HotG

name
setminus_annil

proof
PUL8Q..

Megalodon
setminus_annil

proofgold address
TMPrn..^{setminus_annil}

creator
4882 Pr6Pc../4ba0b..

owner
4882 Pr6Pc../4ba0b..

term root
fd99d..