Proofgold Proposition

∀ x0 x1 . SNo x0 ⟶ SNo x1 ⟶ SNoLev x0 = SNoLev x1 ⟶ SNoEq_ (SNoLev x0) x0 x1 ⟶ x0 = x1

type
prop

theory
HotG

name
SNo_eq

proof
PUUwp..

Megalodon
SNo_eq

proofgold address
TMXZ1..^SNo_eq

creator
4910 Pr6Pc../10bd6..

owner
4910 Pr6Pc../10bd6..

term root
b08bd..