Proofgold Object

λ x0 x1 . λ x2 x3 : ι → ι . λ x4 . If_i (x4 = f6917.. (158d3.. x4)) (x2 (158d3.. x4)) (x3 (158d3.. x4))

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

theory
HoTg

name
-

definition
PUKG7..

Megalodon
-

proofgold address
TMXWR..

creator
2750 PrGxv../d04b3..

owner
2750 PrGxv../d04b3..

term root
ea4bb..