Commit 2024-04-19 08:04 c641f2b9
View on Github →chore(Algebra/Parity): Rename some variables (#12260)
Rename a bunch of variables in Algebra.Parity
as I need a new lemma about a b : α
and m n : ℕ
but the names were used as m n : α
and a b : ℕ
.