Theorem Matrix.rank_unit

Modification history