id_map — Mathlib · SciLib

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

id_map

Mathlib.Control.Functor.Multivariate

URI: https://scilib.ai/kg/mathlib#MvFunctor.id_map

← MathLib Explorer