Proofgold Proposition

∀ x0 . SNo x0 ⟶ SNoEq_ (SNoLev x0) (SNo_extend0 x0) x0

type
prop

theory
HotG

name
SNo_extend0_SNoEq

proof
PUUwp..

Megalodon
SNo_extend0_SNoEq

proofgold address
TMJYn..^{SNo_extend0_SNoEq}

creator
4910 Pr6Pc../8f72b..

owner
4910 Pr6Pc../8f72b..

term root
bd4a2..