Theorem Matrix.rank_mul_eq_left_of_isUnit_det

Modification history