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

leftDual_rightDual

Mathlib.CategoryTheory.Monoidal.Rigid.Basic

URI: https://scilib.ai/kg/mathlib#CategoryTheory.leftDual_rightDual

← MathLib Explorer