Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0prim4 0x0 = 0
type
prop
theory
HotG
name
In_Power_0_eq_0
proof
PUfcG..
Megalodon
-
proofgold address
TMQmU..
creator
14561 Pr4zB../6a2b6..
owner
14561 Pr4zB../6a2b6..
term root
012b8..