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

mapEquiv_symm_apply

Mathlib.Control.EquivFunctor

URI: https://scilib.ai/kg/mathlib#EquivFunctor.mapEquiv_symm_apply

← MathLib Explorer