Proofgold Object

λ x0 . 09072.. (4ae4a.. (e4431.. x0)) (λ x1 . and (prim1 x1 x0) (x1 = e4431.. x0 ⟶ ∀ x2 : ο . x2))

type
ι → ι

theory
HoTg

name
-

definition
PURFE..

Megalodon
-

proofgold address
TMdYg..

creator
2815 PrGxv../99e79..

owner
2815 PrGxv../99e79..

term root
1cac1..