Theorem QuasispectrumRestricts.subset_preimage

Modification history

2024-08-01 00:14

Mathlib/Algebra/Algebra/Quasispectrum.lean

chore: robustifying for debug.byAsSorry (part 14) (#15247)

Modified QuasispectrumRestricts.subset_preimage View on Github →

2024-05-13 12:50

Mathlib/Algebra/Algebra/Quasispectrum.lean

refactor: generalize `SpectrumRestricts` to the `QuasispectrumRestricts`, preserving API (#12643)

Added QuasispectrumRestricts.subset_preimage View on Github →