Proofgold Proposition

∀ x0 . SNo x0 ⟶ ∀ x1 . x1 ∈ SNoS_ (SNoLev x0) ⟶ x1 = x0 ⟶ ∀ x2 : ο . x2

type
prop

theory
HotG

name
SNoS_In_neq

proof
PUUwp..

Megalodon
SNoS_In_neq

proofgold address
TMZeU..^SNoS_In_neq

creator
4910 Pr6Pc../54969..

owner
4910 Pr6Pc../54969..

term root
ab85f..