Theorem Real.neg_mulExpNegMulSq_neg

Modification history