Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
started completion of a module, for the moment mainly so as to record a bunch of basic definitions and facts about completion of $\infty$-modules from DAG12
completion of a module, I suppose.
Sorry. Fixed now, thanks.
added more details still to completion of a module, from DAG12. Some of this spilled over to torsion approximation and to localization of a module, too.
1 to 4 of 4