Documentation

Mathlib.Algebra.Category.AlgebraCat.Symmetric