Theorem Matrix.Commute.zpow_zpow_self

Modification history