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