Library HoTT.Categories.Category.Subcategory

Subcategories

Full

Require Subcategory.Full.

Wide

Require Subcategory.Wide.

Include Subcategory.Full.
Include Subcategory.Wide.