Editing Whitney embedding theorem (section)

=== Weak embedding theorem ===
The weak Whitney embedding is proved through a projection argument.

When the manifold is ''compact'', one can first use a covering by finitely many local charts and then reduce the dimension with suitable projections.<ref name="Hirsch">{{Cite book |last=Hirsch |first=Morris W. |author-link=Morris Hirsch |title=Differential topology |date=1976 |publisher=[[Springer Publishing|Springer]] |isbn=978-1-4684-9449-5 |series=Graduate texts in mathematics |location=New York Heidelberg Berlin |language=en}}</ref>{{rp|Ch. 1 §3}}<ref>{{Cite book |last=Lee |first=John M. |author-link=John M. Lee |url=https://www.worldcat.org/title/800646950 |title=Introduction to smooth manifolds |date=2013 |publisher=Springer |isbn=978-1-4419-9981-8 |edition=2nd |series=Graduate texts in mathematics |location=New York; London |oclc=800646950}}</ref>{{rp|Ch. 6}}<ref>{{Cite book |last=Prasolov |first=Victor V. |author-link=Prasolov |title=Elements of Combinatorial and Differential Topology |publisher=[[American Mathematical Society]] |year=2006 |isbn=978-1-4704-1153-4 |location=Providence}}</ref>{{rp|Ch. 5 §3}}