Theorem Matrix.toRows₂_fromRows

Modification history