Theorem norm_fst_le

Modification history