Proofgold Object

λ x0 . lam x0 Inj0

type
ι → ι

theory
HotG

name
-

definition
PUeeb..

Megalodon
-

proofgold address
TMcfN..

creator
35044 PrHS6../396c9..

owner
35044 PrHS6../396c9..

term root
0879f..