Mathlib v3 is deprecated. Go to Mathlib v4

Theorem matrix.frobenius_nnnorm_conj_transpose

Modification history

2022-05-04 07:50
src/analysis/matrix.lean
feat(analysis/matrix): add `frobenius_norm_conj_transpose` (#13883) …
Added matrix.frobenius_nnnorm_conj_transposeView on Github →