Proofgold Object

λ x0 . binunion (Sing 0) {SetAdjoin (ordsucc x1) (Sing 1)|x1 ∈ x0}

type
ι → ι

theory
HotG

name
eps_

definition
PUVu4..

Megalodon
eps_

proofgold address
TMWgm..^eps_

creator
5368 Pr6Pc../5d4e5..

owner
5368 Pr6Pc../5d4e5..

term root
5e992..