∫ Утверждение Mathlib
rpowIntegrand₀₁_monotoneOn
Mathlib.Analysis.SpecialFunctions.ContinuousFunctionalCalculus.Rpow.IntegralRepresentation
URI: https://scilib.ai/kg/mathlib#Real.rpowIntegrand₀₁_monotoneOn
∫ Утверждение Mathlib
Mathlib.Analysis.SpecialFunctions.ContinuousFunctionalCalculus.Rpow.IntegralRepresentation
URI: https://scilib.ai/kg/mathlib#Real.rpowIntegrand₀₁_monotoneOn