Proofgold Proposition

In_rec_poly_G_i = λ x1 : ι → (ι → ι) → ι . λ x2 x3 . ∀ x4 : ι → ι → ο . (∀ x5 . ∀ x6 : ι → ι . (∀ x7 . In x7 x5 ⟶ x4 x7 (x6 x7)) ⟶ x4 x5 (x1 x5 x6)) ⟶ x4 x2 x3

type
prop

theory
hf axiom

name
-

proof
-

Megalodon
In_rec_G_i_def

proofgold address
-

creator

owner

term root
74615..