Theorem Matrix.SpecialLinearGroup.toLin'_symm_to_linearMap

Modification history