Proofgold Object

type
ι → ο

theory
HotG

name
boolToProp

definition
PUha4..

Megalodon
-

proofgold address
TMLtH..

creator
4903 Pr6Pc../bd4a5..

owner
4903 Pr6Pc../bd4a5..

term root
560a2..