Theorem Matrix.toLinearMap₂'_comp

Modification history