The story
Coined by Norman Steenrod, popularized by Serge Lang.
Etymology from Wiktionary, CC BY-SA 4.0.
Today it means: Details which are straightforward but so tedious that an author or lecturer would rather skip them (especially those of a category theoretical nature). Full definition →
Coined by Norman Steenrod, popularized by Serge Lang.
Etymology from Wiktionary, CC BY-SA 4.0.