Theorem min_abs_abs_le_abs_max

Modification history