Proofgold Proposition

∀ x0 x1 . binintersect x0 x1 ⊆ binintersect x1 x0

type
prop

theory
HotG

name
binintersect_com_Subq

proof
PUL8Q..

Megalodon
binintersect_com_Subq

proofgold address
TMdwT..^{binintersect_com_Subq}

creator
4882 Pr6Pc../1f8e0..

owner
4882 Pr6Pc../1f8e0..

term root
41025..