Theorem Mathlib.Vector.scanl_nil

Modification history