Theorem Matrix.SpecialLinearGroup.SL2_inv_expl

Modification history