mathlib

27b6c239 - lint(category_theory/limits): docstrings and inhabited instances (#4435)