Proofgold Object

type
ι → (ι → ι → ο) → ο

theory
HotG

name
-

definition
PUYR6..

Megalodon
-

proofgold address
TMSoV..

creator
38962 Pr4zB../0dbc4..

owner
38962 Pr4zB../0dbc4..

term root
21d14..