∫ Утверждение Mathlib
whiskerLeft_id'
Mathlib.CategoryTheory.Whiskering
URI: https://scilib.ai/kg/mathlib#CategoryTheory.Functor.whiskerLeft_id'
∫ Утверждение Mathlib
Mathlib.CategoryTheory.Whiskering
URI: https://scilib.ai/kg/mathlib#CategoryTheory.Functor.whiskerLeft_id'