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

inhabited

Mathlib.Data.PFunctor.Univariate.M

URI: https://scilib.ai/kg/mathlib#PFunctor.Approx.Path.inhabited

← MathLib Explorer