Proofgold Proposition

∀ x0 x1 x2 . ordinal x1 ⟶ ordinal x2 ⟶ SNo_ x1 x0 ⟶ SNo_ x2 x0 ⟶ x1 = x2

type
prop

theory
HotG

name
SNoLev_uniq

proof
PUUwp..

Megalodon
SNoLev_uniq

proofgold address
TMdvM..^SNoLev_uniq

creator
4910 Pr6Pc../26e6c..

owner
4910 Pr6Pc../26e6c..

term root
68f71..