Proofgold Proposition

∀ x0 . SNo x0 ⟶ ∀ x1 . SNo x1 ⟶ SNoLev x1 ∈ SNoLev x0 ⟶ SNoLt x0 x1 ⟶ x1 ∈ SNoR x0

type
prop

theory
HotG

name
SNoR_I

proof
PUUwp..

Megalodon
SNoR_I

proofgold address
TMSrH..^SNoR_I

creator
4910 Pr6Pc../f8e7f..

owner
4910 Pr6Pc../f8e7f..

term root
97693..