1679
правок
Изменения
Нет описания правки
# $\tau$ инвариантна относительно сдвигов: $\tau + x_0 = \tau$
# существует база из радиальных уравновешенных окрестностей нуля
# $\forall U(0) \exists U_1(0): U_1(0) + U_1(0) \subset U(0)$ {{TODO|t= какой сакральный смысл у этого свойства?}}
|proof=
В прямую сторону:
