Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0 ∈ e523d.. ⟶ x0 = a0628.. (28f8d.. x0) (22598.. 8d0f8.. (d634d.. x0))
type
prop
theory
HotG
name
-
proof
PUS1J..
Megalodon
-
proofgold address
TMPJ6..
creator
28233 PrQUS../12a3c..
owner
28233 PrQUS../12a3c..
term root
b67b0..