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

map_id_apply

Mathlib.GroupTheory.FreeAbelianGroup

URI: https://scilib.ai/kg/mathlib#FreeAbelianGroup.map_id_apply

← MathLib Explorer