Proofgold Proposition

∀ x0 . SNo x0 ⟶ ∀ x1 . x1 ∈ SNoR x0 ⟶ ∀ x2 : ο . (SNo x1 ⟶ SNoLev x1 ∈ SNoLev x0 ⟶ SNoLt x0 x1 ⟶ x2) ⟶ x2

type
prop

theory
HotG

name
SNoR_E

proof
PUUwp..

Megalodon
SNoR_E

proofgold address
TMUsP..^SNoR_E

creator
4910 Pr6Pc../5452d..

owner
4910 Pr6Pc../5452d..

term root
efca0..