mathlib

d3e3eb84 - chore(algebra/monoid_algebra): clean up some bad decidable arguments (#14175)

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.