Theorem AlternatingMap.mkContinuous_norm_le

Modification history