Theorem Matrix.frobenius_nnnorm_mul

Modification history