Theorem spectrum.hasFDerivAt_resolvent

Modification history

2026-03-31 22:27
Mathlib/Analysis/Normed/Algebra/GelfandFormula.lean
feat(Analysis): add resolvent derivatives in the algebra component (#37172) …
Added spectrum.hasFDerivAt_resolventView on Github →