The story
Found by Patrick Dehornoy.
Etymology from Wiktionary, CC BY-SA 4.0.
Dehornoy order
Today it means: A left-invariant total order on the braid group. Full definition →
Today it means: A left-invariant total order on the braid group. Full definition →
Found by Patrick Dehornoy.
Etymology from Wiktionary, CC BY-SA 4.0.