Theorem Vector.mem_map_succ_iff

Modification history