Proofgold Object

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

theory
SetMM

name
wsbc

definition
PUV1k..

Megalodon
wsbc

proofgold address
TMSJo..^wsbc

creator
36347 PrCmT../fa734..

owner
36347 PrCmT../fa734..

term root
dfea9..