Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Wrong lemma referenced in proof in more-algebra
Thanks to Axel http://stacks.math.columbia.edu/tag/0BBJ#comment-2646
- Loading branch information