Theorem abs_max_sub_max_le_max

Modification history