Documentation of the algebraic hierarchy #
A library note giving advice on modifying the algebraic hierarchy. (It is not intended as a "tour".)
TODO: Add sections about interactions with topological typeclasses, and order typeclasses.
algebra.hierarchy_design
A library note giving advice on modifying the algebraic hierarchy. (It is not intended as a "tour".)
TODO: Add sections about interactions with topological typeclasses, and order typeclasses.