Theorem le_self_mul

Modification history