Theorem Real.abs_mulExpNegMulSq_le

Modification history