Proofgold Object

λ x0 x1 . ∀ x2 . prim1 x2 x0 ⟶ prim1 x2 x1

type
ι → ι → ο

theory
HoTg

name
Subq

definition
PUgom..

Megalodon
-

proofgold address
TMXNS..

creator
1652 PrGxv../45b14..

owner
1652 PrGxv../45b14..

term root
81c0e..