Proofgold Object

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

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

theory
HotG

name
In_rec_iii

definition
PUVNt..

Megalodon
In_rec_iii

proofgold address
TMNNG..^In_rec_iii

creator
4897 Pr6Pc../17d54..

owner
4897 Pr6Pc../17d54..

term root
9b3a8..