Documentation

Mathlib.CategoryTheory.Monoidal.Internal.Types.Grp_