Theorem Mathlib.Vector.toList_empty

Modification history