Commit 2022-02-21 23:46 22464cf6
View on Github →feat(analysis/normed_space/basic): norm_matrix_lt_iff (#12151)
A strict variant of norm_matrix_le_iff, using pi_norm_lt_iff
feat(analysis/normed_space/basic): norm_matrix_lt_iff (#12151)
A strict variant of norm_matrix_le_iff, using pi_norm_lt_iff