Theorem Mathlib.Vector.map_cons

Modification history