Theorem Mathlib.Vector.exists_eq_cons

Modification history