Theorem Matrix.scalar_inj

Modification history