category_theory.category.basic

Stream: mathlib documentation

[Riccardo Brasca]

I don't see category_theory.category.basic in the menu on the left it's not in the right position.
image.png

[Riccardo Brasca]

(deleted)

[Riccardo Brasca]

Ok, it's just not in the alphabetical order, I am stupid

[Eric Rodriguez]

oh, it's in asciibetical order. it'd be nice if they were compared without casing