Theorem spectrum.hasDerivAt_resolvent

Modification history