Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . iff (In x1 (Power x0)) (Subq x1 x0)
type
prop
theory
hf axiom
name
-
proof
-
Megalodon
PowerEq
proofgold address
-
creator
owner
term root
b1dbf..