mathlib documentation

algebra.hierarchy_design

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.