Изменения
Нет описания правки
В теореме про суперпозицию функций есть непонятный момент: <tex>W = A(V)</tex> - относительно компактно, т.к. А - компактный. Почему у W существует конечная <tex>\varepsilon</tex> - сеть?
В обратную сторону пока тоже не совсем понятно, как доказывать
