Proofgold Proposition

∀ x0 . CSNo x0 ⟶ CSNo (recip_CSNo x0)

type
prop

theory
HotG

name
CSNo_recip_CSNo

proof
PURry..

Megalodon
CSNo_recip_CSNo

proofgold address
TMbCz..^{CSNo_recip_CSNo}

creator
28463 PrQUS../31d0b..

owner
28463 PrQUS../31d0b..

term root
fad21..