Theorem le_mul_self

Modification history