Proofgold Proposition

∀ x0 . SNo x0 ⟶ SNoLt 0 x0 ⟶ SNoLev x0 ⊆ 1 ⟶ x0 = 1

type
prop

theory
HotG

name
pos_low_eq_one

proof
PUewm..

Megalodon
pos_low_eq_one

proofgold address
TMLBT..^{pos_low_eq_one}

creator
27779 PrQUS../9adc0..

owner
27779 PrQUS../9adc0..

term root
7c84e..