Theorem Matrix.zpow_add_one_of_ne_neg_one

Modification history