Proofgold Proposition

∀ x0 . CSNo x0 ⟶ conj_CSNo (conj_CSNo x0) = x0

type
prop

theory
HotG

name
conj_CSNo_invol

proof
PUQvq..

Megalodon
conj_CSNo_invol

proofgold address
TMNTv..^{conj_CSNo_invol}

creator
28444 PrQUS../a3124..

owner
28444 PrQUS../a3124..

term root
80a94..