Theorem Right.mul_le_one

Modification history