Theorem AlternatingMap.norm_image_sub_le_of_bound

Modification history