Proofgold Proposition

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

type
prop

theory
HotG

name
SNo_extend1_SNoEq

proof
PUUwp..

Megalodon
SNo_extend1_SNoEq

proofgold address
TMGZE..^{SNo_extend1_SNoEq}

creator
4910 Pr6Pc../e61a1..

owner
4910 Pr6Pc../e61a1..

term root
ba974..