∫ Утверждение Mathlib
symmetry
Mathlib.CategoryTheory.Sums.Basic
URI: https://scilib.ai/kg/mathlib#CategoryTheory.Sum.Swap.symmetry
∫ Утверждение Mathlib
Mathlib.CategoryTheory.Sums.Basic
URI: https://scilib.ai/kg/mathlib#CategoryTheory.Sum.Swap.symmetry