Structures
Mathlib's structures, from Mul to Field, in one diagram.
Pick a family, focus on a class to see everything above and below it, or light up a concrete type to see every structure it satisfies. Click any class for its page.
Structures
Pick a family, focus on a class to see everything above and below it, or light up a concrete type to see every structure it satisfies. Click any class for its page.