Proofgold Object

prim0 (λ x0 . ∀ x1 . iff (prim1 x1 x0) (ba9d8.. x1))

type
ι

theory
HoTg

name
-

definition
PUUEj..

Megalodon
-

proofgold address
TMZ2A..

creator
2699 PrGxv../734bc..

owner
2699 PrGxv../734bc..

term root
80d24..