Theorem list.span_eq_take_drop
Modification history
2020-11-02 04:55
src/data/list/basic.lean
refactor(data/list/basic,...): more explicit args (#4866) …
Modified list.span_eq_take_dropView on Github →2020-04-24 11:14
src/data/list/basic.lean
chore(data/list/*): various renamings to use dot notation (#2481) …
Modified list.span_eq_take_dropView on Github →