Theorem Matrix.cRank_le_card_height

Modification history