defsys:Subespacios definidos por ecuaciones
kerV:Núcleo de una aplicación lineal
matcomm:Conmutatividad de matrices
matmulleft:Matrices multiplicadas por la izquierda
matmulright:Matrices multiplicadas por la derecha
polyder:Polinomios con derivadas
