Theorem continuousMul_inf

Modification history