Please add any suggestions or comments here.
Trace: • finite_commutative_groupoids • suggestions_or_comments