Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 x2 . In x2 x1In x2 (binunion x0 x1)
type
prop
theory
HF
name
-
proof
PUZ3G..
Megalodon
binunionI2
proofgold address
TMYyr..binunionI2
creator
1339 PrGxv../74719..
owner
1339 PrGxv../74719..
term root
e6919..