chore(library/data): delete lazy_list; it can be in mathlib instead (#581)
chore(library/data): delete lazy_list; it can be in mathlib instead (#581)

On the next release we'll need to restore this same file over on the mathlib side.

Co-authored-by: Scott Morrison <63f04b4d96235eb042cc46d94f14d241d2a26722@gmail.com>

leanprover-community/lean,leanprover-community/lean,leanprover-community/lean,leanprover-community/lean,leanprover-community/lean,leanprover-community/lean