Documentation

Mathlib.CategoryTheory.FullSubcategory