mathlib3

e824b88d - refactor(category_theory/limits/final): Symmetric API for final and initial functors (#8808)

refactor(category_theory/limits/final): Symmetric API for final and initial functors (#8808) Dualise the API for cofinal functors to symmetrically support final and initial functors. This PR renames `cofinal` functors to `final` functors.