Theorem StrictMonoOn.const_mul'

Modification history