∫ Утверждение Mathlib
posPart_natCast
Mathlib.Analysis.SpecialFunctions.ContinuousFunctionalCalculus.PosPart.Basic
URI: https://scilib.ai/kg/mathlib#CFC.posPart_natCast
∫ Утверждение Mathlib
Mathlib.Analysis.SpecialFunctions.ContinuousFunctionalCalculus.PosPart.Basic
URI: https://scilib.ai/kg/mathlib#CFC.posPart_natCast