Proofgold Object

λ x0 . and (TransSet x0) (∀ x1 . prim1 x1 x0 ⟶ TransSet x1)

type
ι → ο

theory
HoTg

name
ordinal

definition
PUUEj..

Megalodon
-

proofgold address
TMRHA..

creator
2699 PrGxv../d5280..

owner
2699 PrGxv../d5280..

term root
ee28d..