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

rightDual_leftDual

Mathlib.CategoryTheory.Monoidal.Rigid.Basic

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

← MathLib Explorer