Theorem Vector.empty_toList_eq_ff

Modification history