Theorem Mathlib.Vector.tail_map

Modification history