Theorem Mathlib.Vector.toList_drop

Modification history