Theorem Matrix.SpecialLinearGroup.coe_matrix_coe

Modification history