Theorem Mathlib.Vector.append_nil

Modification history