Theorem Matrix.zpow_neg

Modification history