Proofgold Object

λ x0 x1 . and (69b7e.. x0 x1) (93c99.. x1 (λ x2 . λ x3 : ι → ι → ι . 93c99.. x0 (λ x4 . λ x5 : ι → ι → ι . a0fbb.. x2 x3 x4)))

type
ι → ι → ο

theory
HoTg

name
-

definition
PUK9H..

Megalodon
-

proofgold address
TMbbH..

creator
4803 PrGxv../b2302..

owner
4803 PrGxv../b2302..

term root
06bcf..