Theorem NonUnitalAlgHom.quasispectrum_apply_subset

Modification history