Theorem Matrix.zpow_bit0'

Modification history