Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . x1x0x0 = binunion (setminus x0 x1) x1
type
prop
theory
HotG
name
-
proof
PUac6..
Megalodon
-
proofgold address
TMQKc..
creator
22005 Pr4zB../80392..
owner
22005 Pr4zB../80392..
term root
2ec38..