Theorem Mathlib.Vector.empty_toList_eq_ff

Modification history