Theorem Matrix.bit1_apply

Modification history