Mathlib v3 is deprecated. Go to Mathlib v4

Theorem matrix.eq_zero_of_forall_pow_sum_mul_pow_eq_zero

Modification history