Theorem Mathlib.Vector.snoc_nil

Modification history