Proofgold Proposition

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

type
prop

theory
HotG

name
SNoL_E

proof
PUUwp..

Megalodon
SNoL_E

proofgold address
TMYKc..^SNoL_E

creator
4910 Pr6Pc../ff77f..

owner
4910 Pr6Pc../ff77f..

term root
cead4..