Proofgold Proposition

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

type
prop

theory
HotG

name
binintersectE2

proof
PUL8Q..

Megalodon
binintersectE2

proofgold address
TMckj..^{binintersectE2}

creator
4882 Pr6Pc../92169..

owner
4882 Pr6Pc../92169..

term root
39656..