Commit 2022-05-17 13:06 d3e3eb84
View on Github →chore(algebra/monoid_algebra): clean up some bad decidable arguments (#14175)
Some of these statements contained classical decidable instances rather than generalized ones.
By removing open_locale classical, these become easy to find.