Theorem Matrix.Commute.mul_zpow

Modification history