2025 Oscar 4100

Pull request #4100 has been merged! 🎉 Anna Hofer has been working on the implementation of injective resolutions over monoid algebras in OSCAR for several months and her work is now included in the experimental section of the official OSCAR release.