Proofgold Object

λ x0 . λ x1 : ι → ι . ∀ x2 . x2 ∈ x0 ⟶ SNo (x1 x2)

type
ι → (ι → ι) → ο

theory
HotG

name
SNo_ord_seq

definition
PUfRQ..

Megalodon
SNo_ord_seq

proofgold address
TMNXp..^SNo_ord_seq

creator
6761 Pr6Pc../ec272..

owner
6761 Pr6Pc../ec272..

term root
c4320..