Theorem Matrix.rank_le_width

Modification history