Theorem Mathlib.Vector.tail_val

Modification history