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

mapGrp_id_one

Mathlib.CategoryTheory.Monoidal.Grp_

URI: https://scilib.ai/kg/mathlib#CategoryTheory.Functor.mapGrp_id_one

← MathLib Explorer