Theorem Mathlib.Vector.mem_iff_get

Modification history