Proofgold Object

λ x0 . 09072.. (4ae4a.. (e4431.. x0)) (λ x1 . or (prim1 x1 x0) (x1 = e4431.. x0))

type
ι → ι

theory
HoTg

name
-

definition
PURFE..

Megalodon
-

proofgold address
TMLD4..

creator
2815 PrGxv../bdb70..

owner
2815 PrGxv../bdb70..

term root
485b1..