Theorem Real.mulExpNegSq_apply

Modification history