Proofgold Proposition

∀ x0 . CSNo x0 ⟶ mul_CSNo x0 0 = 0

type
prop

theory
HotG

name
mul_CSNo_0R

proof
PUQvq..

Megalodon
mul_CSNo_0R

proofgold address
TMcwi..^mul_CSNo_0R

creator
28444 PrQUS../5e746..

owner
28444 PrQUS../5e746..

term root
cc1bf..