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

mop_unmop

Mathlib.CategoryTheory.Monoidal.Opposite

URI: https://scilib.ai/kg/mathlib#CategoryTheory.MonoidalOpposite.mop_unmop

← MathLib Explorer