Theorem mulLeft_continuous

Modification history