Proofgold Object

λ x0 x1 . not (prim1 x0 x1)

type
ι → ι → ο

theory
HoTg

name
nIn

definition
PUdeW..

Megalodon
-

proofgold address
TMFzx..

creator
1652 PrGxv../57bdf..

owner
1652 PrGxv../57bdf..

term root
36808..