Theorem Matrix.bit1_apply_ne

Modification history