Proofgold Object

λ x0 : ι → ι . λ x1 . True

type
(ι → ι) → ι → ο

theory
HoTg

name
-

definition
PUdeW..

Megalodon
-

proofgold address
TMPtY..

creator
1652 PrGxv../3aad9..

owner
1652 PrGxv../3aad9..

term root
d6c7f..