(** * Functors between [set_cat] and [prop_cat] *) Require SetCategory.Functors.SetProp. Include SetCategory.Functors.SetProp.
(** * Functors between [set_cat] and [prop_cat] *) Require SetCategory.Functors.SetProp. Include SetCategory.Functors.SetProp.