Theorem abs_max_sub_max_le_abs

Modification history