Theorem Matrix.rank_of_isUnit

Modification history