Theorem Mathlib.Vector.zipWith_get

Modification history