Proofgold Proposition

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

type
prop

theory
HotG

name
recip_SNo_pos_pos

proof
PUSRj..

Megalodon
recip_SNo_pos_pos

proofgold address
TMZ5Y..^{recip_SNo_pos_pos}

creator
27837 PrQUS../94cde..

owner
27837 PrQUS../94cde..

term root
c9574..