Question about Undergraduate mathematics in mathlib

Stream: mathlib4

[Rider Kirkpatrick]

Is this list still being maintained? I suppose my question extends to this list and this list as well. I ask because the first one I looked at in the list was the Special Linear Group under Linear Algebra on the "Undergrad math not in mathlib" page, but I quickly found that it IS implemented in mathlib (see here and here.

So, is this list reliable, or did I just find a rare mistake? Or am I missing something? Is there still work to be done on the Special Linear Group?

[Kim Morrison]

This list is unfortunately often out of date. PR'ing corrections is very very welcome!