Proofgold Proposition

∀ x0 . binintersect 0 x0 = 0

type
prop

theory
HF

name
-

proof
PUZM3..

Megalodon
binintersect_annil

proofgold address
TMQs2..^{binintersect_annil}

creator
1446 PrGxv../d77fb..

owner
1446 PrGxv../d77fb..

term root
524a0..