Theorem Matrix.Commute.zpow_right

Modification history