Proofgold Proposition

∀ x0 . binintersect x0 0 = 0

type
prop

theory
HotG

name
binintersect_annir

proof
PUL8Q..

Megalodon
binintersect_annir

proofgold address
TMKWu..^{binintersect_annir}

creator
4882 Pr6Pc../20f45..

owner
4882 Pr6Pc../20f45..

term root
0e7e2..