Theorem norm_innerSL_le

Modification history