Theorem Unitization.quasispectrum_eq_spectrum_inr

Modification history