Theorem Matrix.IsHermitian.star_mul_self_mul_eq_diagonal

Modification history