Theorem abs_max_le_max_abs_abs

Modification history