Theorem Matrix.scalar.commute

Modification history