Theorem List.span_eq_takeWhile_dropWhile

Modification history