MetMat
Comment montrer qu'une famille de vecteurs propres associés à des valeurs propres distinctes est libre ? | MetMat