Theorem norm_tprod

Modification history