Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-27 22:35 82795105

View on Github →

feat(*): Clean up some misstated lemmas about algebra (#9417) Similar to #9395 clean up a few lemmas whose statement doesn't match the name / docstring about algebraic things, all of these are duplicates of other lemmas, so look like copy paste errors.

Estimated changes