Proofgold Proposition

∀ x0 x1 . SNo x0 ⟶ SNo x1 ⟶ add_CSNo x0 x1 = add_SNo x0 x1

type
prop

theory
HotG

name
add_CSNo_add_SNo

proof
PUQvq..

Megalodon
add_CSNo_add_SNo

proofgold address
TMKoc..^{add_CSNo_add_SNo}

creator
28444 PrQUS../04dde..

owner
28444 PrQUS../04dde..

term root
9bf66..