instInhabited — Mathlib

English

Henstock ≤ Riemann in IntegrationParams ordering.

Русский

Henstock не большую чем Riemann в порядке IntegrationParams.

LaTeX

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

Lean4

/-- The value `BoxIntegral.IntegrationParams.GP = ⊥`
(`bRiemann = false`, `bHenstock = true`, `bDistortion = true`)
corresponds to a generalization of the Henstock integral such that the Divergence theorem holds true
without additional integrability assumptions, see the module docstring for details. -/
instance : Inhabited IntegrationParams :=
  ⟨⊥⟩

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