Proofgold Object

λ x0 . ∀ x1 . x1 ∈ x0 ⟶ x1 ⊆ x0

type
ι → ο

theory
HotG

name
TransSet

definition
PUQdE..

Megalodon
TransSet

proofgold address
TMaE1..^TransSet

creator
4882 Pr6Pc../0a6cc..

owner
4882 Pr6Pc../0a6cc..

term root
538bb..