Proofgold Proposition

∀ x0 . SNo x0 ⟶ SNoLt 0 x0 ⟶ SNoLt 0 (recip_SNo x0)

type
prop

theory
HotG

name
recip_SNo_of_pos_is_pos

proof
PUSRj..

Megalodon
recip_SNo_of_pos_is_pos

proofgold address
TMcC5..^{recip_SNo_of_pos_is_pos}

creator
27837 PrQUS../2bb9f..

owner
27837 PrQUS../2bb9f..

term root
8f569..