Proofgold Proposition

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

type
prop

theory
HotG

name
conj_add_CSNo

proof
PUQvq..

Megalodon
conj_add_CSNo

proofgold address
TMYuv..^{conj_add_CSNo}

creator
28444 PrQUS../8f86b..

owner
28444 PrQUS../8f86b..

term root
af649..