Theorem Mathlib.Vector.toList_scanl

Modification history