Theorem Rat.AbsoluteValue.le_pow_log

Modification history