@user1729 Exactly; this is not the first time users are playing the system by saying "I can ..." or "I tried" with absolutely no evidence that they actually did. Sometimes there is even evidence that they didn't.
cv-plsnotation I typically have a pretty low bar for questions regarding notation and terminology, but this is a little weak, even by those standards. Understanding max notation - RB_ 2019-12-04 21:43:29Z
@user21820 I've given up trying to decode his pseudo-mathematical ramblings. I've already done all I can there, so it will take other users to help. As I mentioned in the past, some of the most problematic wrong / misleading content is in comments, where we non-diamond users can do little.
[That was Hankel's critique of Cauchy's jaw-dropping handwaving description of his construction of complex numbers - which is given in the link for those interested].
@AlexanderGruber I just perused current usage and the current scheme seems to be working fine, i.e. gcd & lcm merged into gcd-and-lcm, separate from divisibility. What sparks the query, is there some impending action?
@BillDubuque I just changed the tag info to discuss usage instead of some wikipedia excerpt that was there before. Just making sure there's nothing crucial that should be added since I don't really post in the tag.