Theorem continuousSMul_inf

Modification history