Theorem norm_mk_zero

Modification history