Theorem Mathlib.Vector.mem_cons_iff

Modification history