Added the ring quotient of the image of an arbitrary function.#1238
Merged
mortberg merged 2 commits intoagda:masterfrom Aug 4, 2025
Merged
Added the ring quotient of the image of an arbitrary function.#1238mortberg merged 2 commits intoagda:masterfrom
mortberg merged 2 commits intoagda:masterfrom
