Theorem Mathlib.Vector.toList_append

Modification history