Proofgold Proposition

∀ x0 x1 x2 . x2 ∈ x0 ⟶ x2 ∈ x1 ⟶ x2 ∈ binintersect x0 x1

type
prop

theory
HotG

name
binintersectI

proof
PUL8Q..

Megalodon
binintersectI

proofgold address
TMW6j..^{binintersectI}

creator
4882 Pr6Pc../28d0d..

owner
4882 Pr6Pc../28d0d..

term root
fd656..