Theorem Vector.exists_eq_cons

Modification history