Theorem Matrix.isLeftRegular_iff_mulVec_injective

Modification history