Proofgold Proposition

∀ x0 x1 . binintersect x0 x1 = binintersect x1 x0

type
prop

theory
HotG

name
binintersect_com

proof
PUL8Q..

Megalodon
binintersect_com

proofgold address
TMPHG..^{binintersect_com}

creator
4882 Pr6Pc../b0f1f..

owner
4882 Pr6Pc../b0f1f..

term root
1a2c6..