mathlib

8edfa75d - feat(category_theory/limits): is_bilimit