Proofgold Object

prim0 (λ x0 . ∀ x1 . nIn x1 x0)

type
ι

theory
HoTg

name
-

definition
PUdeW..

Megalodon
-

proofgold address
TMMyY..

creator
1652 PrGxv../7b079..

owner
1652 PrGxv../7b079..

term root
2ef0d..