basic): Split and intercalate are inverses (#12466)

Commit

3 years ago

feat(data/list/basic): Split and intercalate are inverses (#12466) Show that split and intercalate are inverses of each other (under suitable conditions)

Author

prakol16

Parents

cd001b2d

mathlib 1f428f3e - feat(data/list/basic): Split and intercalate are inverses (#12466)

mathlib
1f428f3e - feat(data/list/basic): Split and intercalate are inverses (#12466)