Proofgold Object

λ x0 . Sep (V_ x0) ordinal

type
ι → ι

theory
HotG

name
-

definition
PUdSr..

Megalodon
-

proofgold address
TMb7Q..

creator
11630 PrGxv../d6311..

owner
11630 PrGxv../d6311..

term root
73393..