Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 0EWY

Go back to the tag's page.

type time link
assigned tag 0EWY 2018-09-10 9e9168e
Tags: Added new tags
created statement with label lemma-coker-injective-free in more-algebra.tex 2018-09-06 481aa31
Move lemma algebra to more-algebra + generalize

Also: the cokernel of an injective map of finite free modules of the
same rank has vanishing dual