Formal Proof of Stone–Weierstrass theorem (Q6823355)

From MaRDI portal





No description defined
Language Label Description Also known as
default for all languages
No label defined
    English
    Formal Proof of Stone–Weierstrass theorem
    No description defined

      Statements