Proofgold Object

λ x0 . ∀ x1 . x1 ∈ x0 ⟶ V_ x1 ∈ x0

type
ι → ο

theory
HotG

name
V_closed

definition
PUdSr..

Megalodon
-

proofgold address
TMVAA..

creator
11630 PrGxv../cd6eb..

owner
11630 PrGxv../cd6eb..

term root
44fff..