Theorem Matrix.SpecialLinearGroup.toLin'_to_linearMap

Modification history