Library HoTT.Categories.Functor.Composition.Functorial

Require Functor.Composition.Functorial.Core.
Require Functor.Composition.Functorial.Attributes.

Include Functor.Composition.Functorial.Core.
Include Functor.Composition.Functorial.Attributes.