Theorem Mathlib.Vector.eq_cons_iff

Modification history