Theorem Mathlib.Vector.get_cons_nil

Modification history