Theorem Matrix.SpecialLinearGroup.toLin'_injective

Modification history