Mathlib v3 is deprecated. Go to Mathlib v4

Theorem matrix.eq_zero_of_forall_index_sum_pow_mul_eq_zero

Modification history