Theorem Mathlib.Vector.mem_map_iff

Modification history