∫ Утверждение Mathlib
Mathlib.Control.EquivFunctor
URI: https://scilib.ai/kg/mathlib#EquivFunctor.mapEquiv
← MathLib Explorer