Theorem norm_div_rev

Modification history