Proofgold Object

{x0 ∈ SNoS_ (ordsucc omega)|and (and (and (SNoL_omega x0 = 0 ⟶ ∀ x1 : ο . x1) (SNoR_omega x0 = 0 ⟶ ∀ x1 : ο . x1)) (f8473.. (SNoL_omega x0))) (f8473.. (SNoR_omega x0))}

type
ι

theory
HotG

name
-

definition
PUVu4..

Megalodon
real

proofgold address
TMYoh..^real

creator
5368 Pr6Pc../4e152..

owner
5368 Pr6Pc../4e152..

term root
1bd1a..