Theorem Mathlib.Vector.toList_map

Modification history