Theorem List.set_eq_take_cons_drop

Modification history