Theorem Matrix.zpow_bit1'

Modification history