Theorem Matrix.SpecialLinearGroup.mapGL_injective

Modification history