Theorem Matrix.SpecialLinearGroup.mapGL_inj

Modification history