Theorem Matrix.zpow_add_one

Modification history