Theorem Real.two_mul_le_exp

Modification history