Theorem Mathlib.Vector.scanl_cons

Modification history