Theorem spectrum.eventually_isUnit_resolvent

Modification history