Theorem Real.dist_mulExpNegMulSq_le_two_mul_sqrt

Modification history