Proofgold Object

λ x0 : ο . x0 ⟶ False

type
ο → ο

theory
HotG

name
not

definition
PUQdE..

Megalodon
not

proofgold address
TMJJZ..^not

creator
4882 Pr6Pc../37312..

owner
4882 Pr6Pc../37312..

term root
f3043..