Theorem Mathlib.Vector.zipWith_toList

Modification history