Theorem Matrix.SpecialLinearGroup.det_coe

Modification history