Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . equip x0 u3equip {x1 ∈ prim4 x0|equip x1 u2} u3
type
prop
theory
HotG
name
-
proof
PUbqv..
Megalodon
-
proofgold address
TMQmK..
creator
22292 Pr4zB../a371a..
owner
22292 Pr4zB../a371a..
term root
dac5c..