Theorem Matrix.toLinearMap₂_symm

Modification history