Commit 2024-05-03 14:04 efb7091c
View on Github →move: Rearrange basic algebraic subobject (#11104)
For Foo an algebraic typeclass, the basic theory of Subfoo currently is under FooTheory.Subfoo. This is in contradiction to other kinds of subobjects, eg order theoretic ones.
This PR moves that basic theory to Algebra.Foo.Subfoo instead.
Zulip