Proofgold Proposition

∀ x0 . x0 ∈ SNoS_ (ordsucc omega) ⟶ (SNoL_omega x0 = 0 ⟶ ∀ x1 : ο . x1) ⟶ (SNoR_omega x0 = 0 ⟶ ∀ x1 : ο . x1) ⟶ f8473.. (SNoL_omega x0) ⟶ f8473.. (SNoR_omega x0) ⟶ x0 ∈ 87ab7..

type
prop

theory
HotG

name
-

proof
PUVu4..

Megalodon
real_I

proofgold address
TMGSV..^real_I

creator
5368 Pr6Pc../a186d..

owner
5368 Pr6Pc../a186d..

term root
09fff..