Proofgold Proposition

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

type
prop

theory
HotG

name
Eps_i_ax

proof
PUQdE..

Megalodon
Eps_i_ax

proofgold address
TMZeD..^Eps_i_ax

creator
4867 Pr6Pc../8d299..

owner
4867 Pr6Pc../8d299..

term root
c3f0d..