(** * Cat, precategories of precategories *) (** ** Definitions *) Require Cat.Core. (** ** Morphisms in cat *) Require Cat.Morphisms. Include Cat.Core. Include Cat.Morphisms.
(** * Cat, precategories of precategories *) (** ** Definitions *) Require Cat.Core. (** ** Morphisms in cat *) Require Cat.Morphisms. Include Cat.Core. Include Cat.Morphisms.