Локальная стягиваемость группы гомеоморфизмов $\mathbb R^n$

Цель настоящей работы – дать модифицированное изложение основной части доказательства теоремы о локальной стягиваемости. Вывод общих теорем из частного случая евклидова пространства остается прежним. Изложение достаточно подробное и имеет целью, в частности, исправление неаккуратности, допущенной в первоначальном доказательстве.