Proofgold Proposition

∀ x0 . binintersect 0 x0 = 0

type
prop

theory
HotG

name
binintersect_annil

proof
PUL8Q..

Megalodon
binintersect_annil

proofgold address
TMUGq..^{binintersect_annil}

creator
4882 Pr6Pc../ee317..

owner
4882 Pr6Pc../ee317..

term root
19837..