Theorem Matrix.eq_zero_of_forall_pow_sum_mul_pow_eq_zero

Modification history