Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 x2 . Subq x2 x1Subq (setminus x0 x1) (setminus x0 x2)
type
prop
theory
HF
name
-
proof
PUZM3..
Megalodon
setminus_Subq_contra
proofgold address
TMRwA..setminus_Subq_contra
creator
1446 PrGxv../27b3d..
owner
1446 PrGxv../27b3d..
term root
23efa..