Theorem norm_div_le

Modification history