Theorem Real.rightDeriv_mul_log

Modification history