Library Stdlib.Relations.Relation_Definitions

From Corelib Require Export Relation_Definitions.