Proofgold Proposition

∀ x0 . SNoLt 0 x0 ⟶ recip_SNo x0 = recip_SNo_pos x0

type
prop

theory
HotG

name
recip_SNo_poscase

proof
PUSRj..

Megalodon
recip_SNo_poscase

proofgold address
TMUGd..^{recip_SNo_poscase}

creator
27837 PrQUS../7682e..

owner
27837 PrQUS../7682e..

term root
15268..