Proofgold Proposition

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

type
prop

theory
HotG

name
SNo_recip_SNo_pos

proof
PUSRj..

Megalodon
SNo_recip_SNo_pos

proofgold address
TMXpG..^{SNo_recip_SNo_pos}

creator
27837 PrQUS../06954..

owner
27837 PrQUS../06954..

term root
90e6e..