Proofgold Proposition

∀ x0 x1 . binintersect x0 x1 ⊆ x1

type
prop

theory
HotG

name
binintersect_Subq_2

proof
PUL8Q..

Megalodon
binintersect_Subq_2

proofgold address
TMdhk..^{binintersect_Subq_2}

creator
4882 Pr6Pc../1f03f..

owner
4882 Pr6Pc../1f03f..

term root
fcd5f..