Proofgold Proposition

In_rec_poly_i = λ x1 : ι → (ι → ι) → ι . λ x2 . Eps_i (In_rec_poly_G_i x1 x2)

type
prop

theory
hf axiom

name
-

proof
-

Megalodon
In_rec_i_def

proofgold address
-

creator

owner

term root
425c6..