Theorem Vector.map_nil

Modification history