1:04 AM
3 hours later…
4:20 AM
Aug 18 at 8:29, by Martin Sleziak
There are new tags upper-bound and lower-bound. Potentially seful? Should we remove them?
Jul 24 at 8:40, by Martin Sleziak
Another tags among new tags for which I doubt whether they will be useful are nonnegativity and global-nonnegativity.
1) The logical next step would be adding positivity and global-positivity. Which seems like splitting closely related things into four separate tags.
2) Any inequality $A\ge B$ can be transformed to $A-B\ge0$. So with a bit of stretch we could say that it is the same as inequality.
« first day (1537 days earlier) ← previous day next day → last day (2804 days later) »