Theorem List.prefix_iff_eq_append

Modification history