Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . atleast4 x0∃ x1 . and (Subq x1 x0) (and (not (Subq x0 x1)) (atleast3 x1))
type
prop
theory
HF
name
-
proof
PUh9N..
Megalodon
atleast4_E
proofgold address
TMTBS..atleast4_E
creator
1168 PrGxv../0c0f3..
owner
1168 PrGxv../0c0f3..
term root
cc428..