Theorem Matrix.vecMul_surjective_iff_isUnit

Modification history