Proofgold Object

λ x0 : ι → ι → (ι → ι → ι) → ι . fb712.. (λ x1 . λ x2 : ι → ι → ι . λ x3 . If_i (80242.. x3) (b3303.. (λ x4 . λ x5 : ι → ι . x0 x1 x4 (λ x6 x7 . If_i (x6 = x1) (x5 x7) (x2 x6 x7))) x3) 4a7ef..)

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

theory
HoTg

name
-

definition
PUTG4..

Megalodon
-

proofgold address
TMEta..

creator
3831 PrGxv../6432e..

owner
3831 PrGxv../6432e..

term root
3e27a..