Theorem CStarMatrix.inner_toCLM_conjTranspose_right

Modification history