Theorem Real.dist_mulExpNegMulSq_le_dist

Modification history