Proofgold Object

λ x0 x1 . If_i (x1 = 4a7ef..) 4a7ef.. (prim0 (λ x2 . and (80242.. x2) (e6316.. x2 x1 = x0)))

type
ι → ι → ι

theory
HoTg

name
-

definition
PUUWv..

Megalodon
-

proofgold address
TMPVD..

creator
3919 PrGxv../2b016..

owner
3919 PrGxv../2b016..

term root
6f914..