OAI/Analysis/AncientFlat/Spectral/
40 declarations, 0 contain sorry, 0 declared as axioms; 10 files
Files
- CompactFredholm.lean 1 declarations
- EigenFlag.lean 8 declarations
- QuasiFinite.lean 1 declarations
- QuasiPowers.lean 3 declarations
- QuasiSpectrum.lean 4 declarations
- Recursion.lean 1 declarations
- RecursionUnique.lean 6 declarations
- ResolventCoefficients.lean 14 declarations
- ShortPowers.lean 1 declarations
- SpectralCircle.lean 1 declarations