1 Pull request merged by 1 person

• [ refactor ] deprecate Algebra.Structures.IsGroup.{uniqueˡ-⁻¹|uniqueʳ-⁻¹} with knock-ons for Algebra.Module.*

  #2571 merged Mar 31, 2025

2 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• [ refactor ] Symmetry of `Bijection` as a consequence of properties of a given `Surjective` function

  #2583 commented on Mar 31, 2025 • 1 new comment

• Optimising `Setoid`s/reasoning by 'rewriting' otherwise higher-dimensional equalities

  #2629 commented on Mar 31, 2025 • 0 new comments