Theorem Matrix.ext_row

Modification history