Theorem Matrix.cons_vec_bit1_eq_alt1

Modification history