Theorem Mathlib.Vector.tail_cons

Modification history