Theorem Matrix.Commute.self_zpow

Modification history