Theorem Matrix.isRightRegular_iff_vecMul_injective

Modification history