Search for blocks/addresses/...

Proofgold Proposition

∀ x0 : ι → ο . (∀ x1 : ο . (∀ x2 . x0 x2x1)x1)x0 (Eps_i x0)
type
prop
theory
HF
name
Eps_i_ex
proof
PUZM3..
Megalodon
Eps_i_R2
proofgold address
TMdGT..Eps_i_R2
creator
1446 PrGxv../e5b38..
owner
1446 PrGxv../e5b38..
term root
be36f..