Theorem List.span_eq_take_drop

Modification history