Theorem Matrix.SpecialLinearGroup.coe_pow

Modification history