Proofgold Proposition

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

type
prop

theory
HoTg

name
Eps_i_ax

proof
PUgom..

Megalodon
-

proofgold address
TMVi8..

creator
1605 PrGxv../ce7c8..

owner
1605 PrGxv../ce7c8..

term root
c3f0d..