1 Oct
2021
1 Oct
'21
3:53 a.m.
On Fri, 1 Oct 2021, Viktor Dukhovni wrote:
On Fri, Oct 01, 2021 at 08:27:15PM +1300, Anthony Clayden wrote:
Switching subtopics to the "Chirality" section, ...
I take Ben's point (with which I agree) to be that "Chirality" is an even more obscure word than "Endomorphism". (Except perhaps in the realm of subatomic particle physics.)
The word occurred only in the section title, which will now (MR 6555) read:
Expectation of efficient left-to-right iteration
It seems that the thread has shifted from "historical futurism" to "documentation of Foldable".