Proofgold Object

λ x0 : ι → (ι → ι → ι → ι) → ι → ι → ι . λ x1 . Descr_iii (In_rec_G_iii x0 x1)

type
(ι → (ι → ι → ι → ι) → ι → ι → ι) → ι → ι → ι → ι

theory
HoTg

name
In_rec_iii

definition
PULk4..

Megalodon
-

proofgold address
TMKx9..

creator
2719 PrGxv../1a29c..

owner
2719 PrGxv../1a29c..

term root
9b3a8..