Theorem Mathlib.Vector.get_tail

Modification history