Theorem strictMonoOn_mul_self

Modification history