Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . x0x1binintersect x0 x1 = x0
type
prop
theory
HotG
name
binintersect_Subq_eq_1
proof
PUL8Q..
Megalodon
binintersect_Subq_eq_1
proofgold address
TMcUH..binintersect_Subq_eq_1
creator
4882 Pr6Pc../70d04..
owner
4882 Pr6Pc../70d04..
term root
277ee..