Theorem Matrix.eRank_le_card_width

Modification history