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.