Mushrooms 🍄

I live in a cooler part of Victoria and I just found these 2 random piles of mushrooms growing in the very back part of my garden that I haven’t checked on in about a month or so. Advice and knowledge appreciated 🤠 What type of mushrooms are they? Should I leave them? Remove and compost them? Thanks.