Theorem spectrum.hasDerivAt_resolvent_const_left

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.hasDerivAt_resolvent_const_leftView on Github →