Theorem Matrix.SpecialLinearGroup.toLin'_symm_apply

Modification history