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

rightUnitor_inv_apply

Mathlib.CategoryTheory.GradedObject.Monoidal

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

← MathLib Explorer