Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 x2 . In x2 x0In x2 (binunion x0 x1)
type
prop
theory
HF
name
-
proof
PUZ3G..
Megalodon
binunionI1
proofgold address
TMNzf..binunionI1
creator
1339 PrGxv../c156e..
owner
1339 PrGxv../c156e..
term root
1598d..