Theorem Vector.get_map

Modification history