Proofgold Proposition

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

type
prop

theory
hf axiom

name
-

proof
-

Megalodon
Eps_i_R

proofgold address
-

creator

owner

term root
c3f0d..