Library
▹
Algebra
▹
Generic definitions
Isomorphisms