OnSomeLocalRings_Maassaran_2025 documentation