Proofgold Object

λ x0 . ∀ x1 . x1 ∈ x0 ⟶ prim4 x1 ∈ x0

type
ι → ο

theory
HotG

name
Power_closed

definition
PUQdE..

Megalodon
Power_closed

proofgold address
TMNbY..^Power_closed

creator
4882 Pr6Pc../f3bf5..

owner
4882 Pr6Pc../f3bf5..

term root
8b9cc..