Author: Urs Format: MarkdownItexadded the statement ([here](https://ncatlab.org/nlab/show/Banach+manifold#ParacompactBanachManifoldsAreANRs)) that every paracompact Banach manifold is an absolute neighbourhood retract
<a href="https://ncatlab.org/nlab/revision/diff/Banach+manifold/8">diff</a>, <a href="https://ncatlab.org/nlab/revision/Banach+manifold/8">v8</a>, <a href="https://ncatlab.org/nlab/show/Banach+manifold">current</a>
added the statement (here) that every paracompact Banach manifold is an absolute neighbourhood retract