Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . ordinal x0ordinal x1ordinal (binintersect x0 x1)
type
prop
theory
HF
name
-
proof
PUZ6J..
Megalodon
ordinal_binintersect
proofgold address
TMbXU..ordinal_binintersect
creator
1604 PrGxv../da6b1..
owner
1604 PrGxv../da6b1..
term root
ee5aa..