[ refactor ] deprecate Algebra.Structures.IsGroup.{uniqueˡ-⁻¹|uniqueʳ-⁻¹}
#2571
Loading
Algebra.Structures.IsGroup.{uniqueˡ-⁻¹|uniqueʳ-⁻¹}
#2571