Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2019-09-27 18:10 e0c204ef

View on Github →

chore(algebra/group_power): move inv_one from group_power to field (#1495)

  • chore(algebra/group_power): move inv_one from group_power to field
  • fix

Estimated changes