`OAI/Analysis/HilbertCrouzeix/`

88 declarations, 0 contain sorry, 0 declared as axioms; 7 files

Files

Calculus.lean 10 declarations
Compression.lean 15 declarations
Definitions.lean 30 declarations
Main.lean 2 imports, no declarations
NumericalRange.lean 18 declarations
Sharpness.lean 10 declarations
Spectrum.lean 5 declarations