Theorem Matrix.ker_mulVecLin_conjTranspose_mul_self

Modification history