Proofgold Proposition

∀ x0 . SNo x0 ⟶ conj_CSNo x0 = x0

type
prop

theory
HotG

name
conj_CSNo_id_SNo

proof
PUQvq..

Megalodon
conj_CSNo_id_SNo

proofgold address
TMTo4..^{conj_CSNo_id_SNo}

creator
28444 PrQUS../af71c..

owner
28444 PrQUS../af71c..

term root
11972..