Theorem norm_cfc_lt_iff

Modification history