RE: Seasons are changing and I am getting some mushrooms in my yard

Although I can't decide for you nevertheless, I think the seeds of those dying off would be dispersed by the wind to begin a new journey around your environment when the weather becomes favorable. Hehe, life cycle

But as you said, mulching them will also go a long way, especially as manure for your mushrooms 🍄