# 5
url: https://greennewsdesk.org.uk/post/infinite-lists-in-lean-r36a28