Proofgold Object

λ x0 . and (TransSet x0) (∀ x1 . x1 ∈ x0 ⟶ TransSet x1)

type
ι → ο

theory
HotG

name
ordinal

definition
PUL8Q..

Megalodon
ordinal

proofgold address
TMJ4C..^ordinal

creator
4882 Pr6Pc../fc088..

owner
4882 Pr6Pc../fc088..

term root
ee28d..