Proofgold Proposition

∀ x0 : ι → ο . (∀ x1 : ο . (∀ x2 . x0 x2 ⟶ x1) ⟶ x1) ⟶ x0 (prim0 x0)

type
prop

theory
HotG

name
Eps_i_ex

proof
PUL8Q..

Megalodon
Eps_i_ex

proofgold address
TMXYa..^Eps_i_ex

creator
4882 Pr6Pc../002e3..

owner
4882 Pr6Pc../002e3..

term root
be36f..