Proofgold Proposition

∀ x0 x1 . SNo x0 ⟶ SNo x1 ⟶ SNoLt x0 x1 ⟶ SNoLt 0 (add_SNo x1 (minus_SNo x0))

type
prop

theory
HotG

name
SNoLt_minus_pos

proof
PUgvb..

Megalodon
SNoLt_minus_pos

proofgold address
TMPMF..^{SNoLt_minus_pos}

creator
12283 PrGxv../340e9..

owner
12283 PrGxv../340e9..

term root
fff64..