Theorem Mathlib.Vector.mk_toList

Modification history