Library Stdlib.Classes.Morphisms

From Corelib Require Export Morphisms.