Theorem Matrix.rank_mul_eq_right_of_isUnit_det

Modification history