Theorem Real.mulExpNegMulSq_one_le_one

Modification history