[ add ] commentary explaining the `IsXRing` design problem (issues #1617 and #2771)#2781

Merged

JacquesCarette merged 3 commits intoagda:masterfrom

jamesmckinna:issue1617+2771

Jul 31, 2025

Commits on Jul 22, 2025

add: commentary explaining the solution to issues #1617 and #2771
jamesmckinna
committed

Commits on Jul 30, 2025

fix: `Semigroup`, not only `Magma`
jamesmckinna
committed
add: text reflecting that in `Algebra.Structures`, plus enough to make `IsNearSemiring` typecheck
jamesmckinna
committed