Theorem Matrix.zpow_one_add

Modification history