Theorem Matrix.toMatrix₂Aux_toLinearMap₂'Aux

Modification history