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

leftUnitor_inv_apply

Mathlib.CategoryTheory.GradedObject.Monoidal

URI: https://scilib.ai/kg/mathlib#CategoryTheory.GradedObject.Monoidal.leftUnitor_inv_apply

← MathLib Explorer