Theorem Mathlib.Vector.toList_singleton

Modification history