Proofgold Proposition

∀ x0 : ι → ο . (∀ x1 . SNo x1 ⟶ (∀ x2 . x2 ∈ SNoS_ (SNoLev x1) ⟶ x0 x2) ⟶ x0 x1) ⟶ ∀ x1 . SNo x1 ⟶ x0 x1

type
prop

theory
HotG

name
SNoLev_ind

proof
PUK1b..

Megalodon
SNoLev_ind

proofgold address
TMXG4..^SNoLev_ind

creator
4949 Pr6Pc../d3703..

owner
4949 Pr6Pc../d3703..

term root
8b2b4..