Proofgold Object

λ x0 . not (e93bf.. x0)

type
ι → ο

theory
HotG

name
-

definition
PUfRN..

Megalodon
-

proofgold address
TMFeY..

creator
4972 Pr6Pc../b6197..

owner
4972 Pr6Pc../b6197..

term root
5cef7..