Theorem Matrix.rank_zero

Modification history