Library
▹
Algebra
Generic definitions
Pointed sets
Magmas
Semigroups
Monoids
Groups
Semirings
Rings
Fields