Theorem isSpectralMap_id

Modification history