Library Stdlib.Classes.CMorphisms

From Corelib Require Export CMorphisms.