Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 x2 . Subq x0 x1nIn x2 x1nIn x2 x0
type
prop
theory
HF
name
-
proof
PUh9N..
Megalodon
Subq_contra
proofgold address
TMW7B..Subq_contra
creator
1168 PrGxv../1ba68..
owner
1168 PrGxv../1ba68..
term root
e2a54..