continuous_sin — Mathlib · SciLib

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

continuous_sin

Mathlib.Analysis.SpecialFunctions.Trigonometric.Basic

URI: https://scilib.ai/kg/mathlib#Complex.continuous_sin

← MathLib Explorer