Theorem SpectralMap.coe_comp_continuousMap'

Modification history