mathlib

0653975e - chore(category_theory/sites): Generalize universes for the comparison lemma. (#11588)