Search for blocks/addresses/...

Proofgold Proposition

∀ x0 : ο . ∀ x1 x2 . not x0If_i x0 x1 x2 = x2
type
prop
theory
HF
name
-
proof
PUZ3G..
Megalodon
If_i_0
proofgold address
TMHf7..If_i_0
creator
1339 PrGxv../3af03..
owner
1339 PrGxv../3af03..
term root
5a150..