Theorem abs_tprod

Modification history