Theorem Matrix.IsHermitian.rank_eq_card_non_zero_eigs

Modification history