Proofgold Proposition

∀ x0 . ordinal x0 ⟶ ∀ x1 . x1 ∈ SNoS_ x0 ⟶ ∀ x2 : ο . (SNoLev x1 ∈ x0 ⟶ ordinal (SNoLev x1) ⟶ SNo x1 ⟶ SNo_ (SNoLev x1) x1 ⟶ x2) ⟶ x2

type
prop

theory
HotG

name
SNoS_E2

proof
PUUwp..

Megalodon
SNoS_E2

proofgold address
TMb5f..^SNoS_E2

creator
4910 Pr6Pc../5da28..

owner
4910 Pr6Pc../5da28..

term root
deb03..