Proofgold Object

λ x0 . lam omega (λ x1 . ap x0 (ordsucc x1))

type
ι → ι

theory
HotG

name
stream_rest

definition
PUZC8..

Megalodon
-

proofgold address
TMYe9..

creator
6992 Pr6Pc../669c3..

owner
6992 Pr6Pc../669c3..

term root
81c53..