Theorem Mathlib.Vector.get_map

Modification history