Commit 2022-08-31 08:44 f84386d7
View on Github →chore(algebra/regular/basic): clean up variables and slight golf (#16321)
Re-organize variables in the file, so that typeclass assumptions appear earlier.
Also, golf two proofs and remove two unneeded @.