Theorem Mathlib.Vector.scanl_head

Modification history