Proofgold Object

λ x0 x1 . If_i (x1 = 4a7ef..) 4a7ef.. (prim0 (λ x2 . and (1013b.. x2) (7ce1c.. x2 x1 = x0)))

type
ι → ι → ι

theory
HoTg

name
-

definition
PUUWv..

Megalodon
-

proofgold address
TMEii..

creator
3919 PrGxv../4402d..

owner
3919 PrGxv../4402d..

term root
f008f..