Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 09KP

Go back to the tag's page.

type time link
assigned tag 09KP 2013-08-29 5f5bcfb
Tags: Added new tags
changed the proof 2013-08-28 1beea64
Correct way to compute RHom(N, -) in DGA setting
changed the statement 2013-08-27 fc339ac
Restriction and base change

This is quite ugly at the moment.
created statement with label lemma-resolve in dga.tex 2013-08-26 22e749f
Good resolutions

Just wonderful.