Theorem Real.abs_log_mul_self_lt

Modification history