3 ms·
At least with regards to naming, reading nLab I thought the lemmas with ambiguous names for different concepts was rather unfortunate.
by posterboy 10y ago
At least with regards to naming, reading nLab I thought the lemmas with ambiguous names for different concepts was rather unfortunate.