Theorem Mathlib.Vector.get_tail_succ

Modification history