Proofgold Object

λ x0 . prim0 (λ x1 . and (80242.. x1) (x0 = 236dc.. (ce322.. x0) x1))

type
ι → ι

theory
HoTg

name
-

definition
PUfBi..

Megalodon
-

proofgold address
TMEyZ..

creator
3879 PrGxv../e195d..

owner
3879 PrGxv../e195d..

term root
a231d..