Theorem Matrix.SpecialLinearGroup.ext_iff

Modification history