Theorem Matrix.zpow_bit1

Modification history