Theorem Matrix.cRank_zero

Modification history