Theorem List.span.loop_eq_take_drop

Modification history