Theorem spectrum.norm_resolvent_le_forall

Modification history