Theorem Matrix.rank_add_rank_le_card_of_mul_eq_zero

Modification history