Library Stdlib.Classes.Morphisms_Prop

From Corelib Require Export Morphisms_Prop.