Theorem norm_cfc_le

Modification history