Proofgold Proposition

∀ x0 . SNo x0 ⟶ ∀ x1 . x1 ∈ SNoR x0 ⟶ x1 ∈ SNoS_ (SNoLev x0)

type
prop

theory
HotG

name
SNoR_SNoS

proof
PUUwp..

Megalodon
SNoR_SNoS

proofgold address
TMJz3..^SNoR_SNoS

creator
4910 Pr6Pc../4da90..

owner
4910 Pr6Pc../4da90..

term root
98051..