Theorem continuous_mulSingle

Modification history