Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-05-25 00:18 f5822984

View on Github →

feat(group_theory/subgroup/basic): zpowers_eq_bot (#14366) This PR adds a lemma zpowers_eq_bot.

Estimated changes