Theorem abs_min_le_max_abs_abs

Modification history