Theorem Matrix.IsHermitian.rank_eq_rank_diagonal

Modification history