henstock_le_mcShane

Mathlib.Analysis.BoxIntegral.Partition.Filter

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

English

Henstock is less than or equal to McShane in the order of integration params.

Русский

Henstock ≤ McShane в порядке интеграционных параметров.

LaTeX

$$$\\text{Henstock} \\le \\text{McShane}$$$

Lean4

theorem henstock_le_mcShane : Henstock ≤ McShane := by trivial

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

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

Разделы

Аффилиация

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