Search for blocks/addresses/...

Proofgold Proposition

∀ x0 : (ι → ι) → ο . (∀ x1 : ο . (∀ x2 : ι → ι . x0 x2x1)x1)(∀ x1 x2 : ι → ι . x0 x1x0 x2x1 = x2)x0 (Descr_ii x0)
type
prop
theory
HF
name
Descr_ii_prop
proof
PUXbj..
Megalodon
Descr_ii_prop
proofgold address
TMVCm..Descr_ii_prop
creator
1478 PrGxv../0748f..
owner
1478 PrGxv../0748f..
term root
45bfc..