Theorem Rat.AbsoluteValue.apply_le_sum_digits

Modification history