Theorem continuousSMul_of_algebraMap

Modification history