Theorem map_sub_le_max

Modification history