henstock_le_riemann

Mathlib.Analysis.BoxIntegral.Partition.Filter

URI: https://scilib.ai/kg/mathlib#BoxIntegral.IntegrationParams.henstock_le_riemann

English

In the integration parameter order, Henstock is below Riemann.

Русский

В порядке параметров интегрирования Henstock находится ниже Riemann.

LaTeX

$$$\\text{Henstock} \\le \\text{Riemann}$$$

Lean4

theorem henstock_le_riemann : Henstock ≤ Riemann := by trivial

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

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

Разделы

Аффилиация

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