Commit 2026-03-25 05:05 d9c36df7
View on Github →chore(GroupTheory/FreeAbelianGroup): clean up instances more (#37125)
Clean up the instances on FreeAbelianGroup
Removed Unique (FreeAbelianGroup PEmpty) instance in favour of the more general [IsEmpty α] : Unique (FreeAbelianGroup α).