Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-10-22 14:30 e8bdb05e

View on Github →

feat(algebra/group): conversion between →* and →+ (#1569)

  • feat(algebra/group): conversion between →* and →+
  • docs
  • Rename to allow use of projection notation

Estimated changes