Theorem Matrix.zpow_sub_one

Modification history