Proofgold Proposition

∀ x0 x1 . binintersect x0 x1 ⊆ x0

type
prop

theory
HotG

name
binintersect_Subq_1

proof
PUL8Q..

Megalodon
binintersect_Subq_1

proofgold address
TMbU5..^{binintersect_Subq_1}

creator
4882 Pr6Pc../c9e5b..

owner
4882 Pr6Pc../c9e5b..

term root
f296a..