Theorem continuous_algebraMap_iff_smul

Modification history