Library Stdlib.Classes.CRelationClasses

From Corelib Require Export CRelationClasses.