Proofgold Proposition

∀ x0 : ι → (ι → ι) → ι . ∀ x1 . ∀ x2 : ι → ι . (∀ x3 . In x3 x1 ⟶ In_rec_poly_G_i x0 x3 (x2 x3)) ⟶ In_rec_poly_G_i x0 x1 (x0 x1 x2)

type
prop

theory
HF

name
-

proof
PUQAi..

Megalodon
In_rec_G_i_c

proofgold address
TMcAe..^In_rec_G_i_c

creator
1476 PrGxv../d624e..

owner
1476 PrGxv../d624e..

term root
e7fe8..