Theorem Matrix.cons_vec_bit0_eq_alt0

Modification history