Theorem Matrix.zpow_sub

Modification history