Theorem Mathlib.Vector.get_cons_succ

Modification history