Fix blackbox lemma

Fix Lemma [`matrix.is_diagonal.spectrum_eq_iff_rotation`](https://themathqueen.github.io/monlib/linear_algebra/blackbox.html#matrix.is_diagonal.spectrum_eq_iff_rotation) to say equal spectra with same multiplicities.