Theorem Matrix.zpow_bit0

Modification history