Proofgold Proposition

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

type
prop

theory
HotG

name
recip_SNo_pos_invol

proof
PUSRj..

Megalodon
recip_SNo_pos_invol

proofgold address
TMFLQ..^{recip_SNo_pos_invol}

creator
27837 PrQUS../dcb2c..

owner
27837 PrQUS../dcb2c..

term root
5e740..