Theorem min_abs_abs_le_abs_min

Modification history