posPart_zero — Mathlib · SciLib

∫ Утверждение Mathlib

posPart_zero

Mathlib.Analysis.SpecialFunctions.ContinuousFunctionalCalculus.PosPart.Basic

URI: https://scilib.ai/kg/mathlib#CFC.posPart_zero

← MathLib Explorer