Theorem Vector.eq_cons_iff

Modification history