Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0DJU

Go back to the tag's page.

type time link
assigned tag 0DJU 2017-04-08 001e052
Tags: Added new tags
created statement with label lemma-compute-ext-rel-perfect in perfect.tex 2017-04-03 c8111ce
Describe Rf_*RHom(K, E) + base change

Fun! Slightly more warped proof than perhaps necessary...