7:02 AM
0
Here are two tags I noticed: classical-groups linear-algebraic-groups I have no idea if either is needed, but I suspect that the second one is too specific. Probably the first one too. If other people can weigh in, and give their opinion is great. If these tags should stay, then they really ...
Maybe someone who is more active in group-related tag would be able to comment reasonable whether they are useful/needed.
4 hours later…
11:33 AM
We have limsup-and-liminf tag. Would it be reasonable to create also supremum and sup-and-inf and make them synonyms of (already existing) infimum?
« first day (809 days earlier) ← previous day next day → last day (3532 days later) »