Proofgold Proposition

∀ x0 . SNo x0 ⟶ SNoLev x0 = 0 ⟶ x0 = 0

type
prop

theory
HotG

name
SNoLev_0_eq_0

proof
PUVu4..

Megalodon
SNoLev_0_eq_0

proofgold address
TMQQU..^{SNoLev_0_eq_0}

creator
5368 Pr6Pc../8e8e8..

owner
5368 Pr6Pc../8e8e8..

term root
fe0bc..