Mathlib Changelog
v4
Changelog
About
Github
Theorem
QuasispectrumRestricts.image
Modification history
2024-08-01 00:14
Mathlib/Algebra/Algebra/Quasispectrum.lean
chore: robustifying for debug.byAsSorry (part 14) (#15247)
Modified
QuasispectrumRestricts.image
View on Github →
2024-05-13 12:50
Mathlib/Algebra/Algebra/Quasispectrum.lean
refactor: generalize `SpectrumRestricts` to the `QuasispectrumRestricts`, preserving API (#12643)
Added
QuasispectrumRestricts.image
View on Github →