Theorem IsSpectralMap.continuous

Modification history