Proofgold Proposition

∀ x0 . SNo x0 ⟶ recip_SNo (recip_SNo x0) = x0

type
prop

theory
HotG

name
recip_SNo_invol

proof
PUSRj..

Megalodon
recip_SNo_invol

proofgold address
TMGzc..^{recip_SNo_invol}

creator
27837 PrQUS../6be3f..

owner
27837 PrQUS../6be3f..

term root
d2c4c..