Theorem Matrix.eRank_le_card_height

Modification history