Theorem Matrix.Commute.zpow_self

Modification history