Theorem Vector.mem_iff_get

Modification history