centerAndRescale_center

Mathlib.MeasureTheory.Covering.BesicovitchVectorSpace

URI: https://scilib.ai/kg/mathlib#Besicovitch.SatelliteConfig.centerAndRescale_center

English

In the rescaled satellite configuration, the radius at the last index equals 1.

Русский

В переразмеренной спутниковой конфигурации радиус последнего индекса равен 1.

LaTeX

$$$$a.centerAndRescale.r(\\text{last }N) = 1$$$$

Lean4

theorem centerAndRescale_center : a.centerAndRescale.c (last N) = 0 := by simp [SatelliteConfig.centerAndRescale]

Похожие утверждения

Научная платформа российской исследовательской школы.

Разделы

Аффилиация

Вычислительный центр им. А. А. Дороницына при ФИЦ «Информатика и Управление» РАН frccsc.ru