Proofgold Proposition

∀ x0 . setminus x0 0 = x0

type
prop

theory
HF

name
-

proof
PUZM3..

Megalodon
setminus_idr

proofgold address
TMQUf..^setminus_idr

creator
1446 PrGxv../4b152..

owner
1446 PrGxv../4b152..

term root
38074..