mathlib

3644fef6 - chore(category_theory): enough_injectives is dual to enough_projectives (#15395)