from Wiktionary, Creative Commons Attribution/Share-Alike License
- n. Details which are straightforward but so tedious that an author or lecturer would rather skip them (especially those of a category theoretical nature).
- n. Details which involve diagram chasing.
Coined by Norman Steenrod, popularized by Serge Lang. (Wiktionary)
Sorry, no example sentences found.