truncate_approx — Mathlib · SciLib

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

truncate_approx

Mathlib.Data.PFunctor.Univariate.M

URI: https://scilib.ai/kg/mathlib#PFunctor.M.truncate_approx

← MathLib Explorer