Theorem Matrix.toLinearMap₂'_single

Modification history